Demonstration of a Prototype Tool for Program Integration

This paper illustrates a sample session with a preliminary implementation of a program-integration tool. The tool has been embedded in a program editor created using the Synthesizer Generator, a meta-system for creating interactive, language-based program development systems. Data-flow analysis of programs is carried out according to the editor �s defining attribute grammar and used to construct dependence graphs. An integration command added to the editor invokes the integration algorithm on the dependence graphs, reports whether the variant programs interfere, and, if there is no interference, builds the integrated program. It should be noted that the integration capabilities of the tool are severely limited; in particular, the tool can only handle programs written in a simple language in which expression contain scalar variables and constants, and the only statements are assignment statements, conditional statements, and while-loops