A program integration algorithm that accommodates semantics-preserving transformations

This publication has 11 references indexed in Scilit:

• Integrating noninterfering versions of programs
  ACM Transactions on Programming Languages and Systems, 1989
• An efficient method of computing static single assignment form
  Published by Association for Computing Machinery (ACM) ,1989
• Composing recursive logic programs withClausal join
  New Generation Computing, 1988
• Detecting equality of variables in programs
  Published by Association for Computing Machinery (ACM) ,1988
• On the adequacy of program dependence graphs for representing programs
  Published by Association for Computing Machinery (ACM) ,1988
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• On merging software extensions
  Acta Informatica, 1986
• The program dependence graph in a software development environment
  Published by Association for Computing Machinery (ACM) ,1984
• Dependence graphs and compiler optimizations
  Published by Association for Computing Machinery (ACM) ,1981
• AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
  Published by Elsevier ,1971