Accession Number : ADA254050


Title :   Final Report: Software Support for Programming in the Large


Descriptive Note : Final Rept. for Jul 1988-Dec 1991


Corporate Author : WISCONSIN UNIV-MADISON DEPT OF COMPUTER SCIENCES


Personal Author(s) : Reps, Thomas ; Horwitz, Susan ; Solomon, Marvin


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a254050.pdf


Report Date : 06 Aug 1992


Pagination or Media Count : 13


Abstract : The research supported under this contract concerned the design and implementation of interactive environments for computer programming. Activities were carried out in two main areas: Semantics-based program integration By program integration we mean the merging process that one has to go through when a program's source code diverges into multiple variants (e.g., supporting different features, different operating systems, or incorporating different bug- fixes). The goal of our research is to create a system that tests whether the enhancements made to two or more variants of a program interfere, and - if there is no interference -automatically integrates (combines) the variants so as to incorporate all the different enhancements in one program. This would be applied, for example, when a number of collaborators are collectively producing updates in a large programming project, Logic-based tools for programming-in- the-large The CAPITL program-development environment is an integrated collection to tools supporting cooperative development of moderate to large programs. It includes a database for storing software objects such as program source modules, executable programs, and documentation, as well as arbitrary properties and relationships among objects. The database efficiently supports multiple snapshots or versions of the objects and relationships. A sophisticated deductive query language-based on Prolog-supports configuration management.


Descriptors :   *COMPUTER PROGRAMMING , TEST AND EVALUATION , DATA BASES , CONTROL , ENVIRONMENTS , SEMANTICS , CONFIGURATIONS , LANGUAGE , NUMBERS , STORES , CONFIGURATION MANAGEMENT , COLLECTION , LOGIC , MEAN , INTERFERENCE , INTEGRATION , CONTRACTS , MANAGEMENT , TOOLS , COMPUTERS


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE