Final Report: Software Support for Programming in the Large
Final Rept. for Jul 1988-Dec 1991
WISCONSIN UNIV-MADISON DEPT OF COMPUTER SCIENCES
Pagination or Media Count:
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 programs 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.
- Computer Programming and Software