Semantics-Based Program Integration

The need to integrate several versions of a base program into a common one arises frequently, but it is a tedious and time consuming task to integrate programs by hand. To date, the only available tools for assisting with program integration are variants of text-based differential file comparators; these are of limited utility because one has no guarantees about how the program that is the product of an integration behaves compared to the programs that were integrated.

[1]  Ken Kennedy,et al.  PTOOL : A Semi-Automatic Parallel Programming Assistant , 1986, International Conference on Parallel Processing.

[2]  Walter F. Tichy,et al.  Rcs — a system for version control , 1985, Softw. Pract. Exp..

[3]  Neil D. Jones,et al.  Flow analysis and optimization of LISP-like structures , 1979, POPL.

[4]  John Randal Allen,et al.  Dependence analysis for subscripted variables and its application to program transformations , 1983 .

[5]  Yoichi Muraoka,et al.  On the Number of Operations Simultaneously Executable in Fortran-Like Programs and Their Resulting Speedup , 1972, IEEE Transactions on Computers.

[6]  Thomas W. Reps,et al.  On the adequacy of program dependence graphs for representing programs , 1988, POPL '88.

[7]  Wuu Yang,et al.  The Semantics of Program Slicing , 1988 .

[8]  Utpal Banerjee,et al.  Speedup of ordinary programs , 1979 .

[9]  Thomas W. Reps,et al.  Support for Integrating Program Variants in an Environment for Programming in the Large , 1988, SCM.

[10]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[11]  Thomas W. Reps,et al.  The synthesizer generator , 1984, SDE 1.

[12]  Mark Weiser,et al.  Program Slicing , 1981, IEEE Transactions on Software Engineering.

[13]  John Banning,et al.  : An Efficient , 2022 .

[14]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1984, TOPL.

[15]  Thomas W. Reps,et al.  The Synthesizer Generator Reference Manual , 1989, Texts and Monographs in Computer Science.

[16]  David A. Padua,et al.  Dependence graphs and compiler optimizations , 1981, POPL '81.

[17]  Neil D. Jones,et al.  Program Flow Analysis: Theory and Application , 1981 .

[18]  Klaus Gröning.  "Combined actions to reduce LR-parsertables": (experimental results) , 1984, SIGP.

[19]  Thomas W. Reps,et al.  Integrating non-intering versions of programs , 1988, POPL '88.

[20]  Thomas W. Reps,et al.  Integrating noninterfering versions of programs , 1989, TOPL.