A program integration algorithm that accommodates semantics-preserving transformations
- 1 October 1990
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 15 (6), 133-143
- https://doi.org/10.1145/99277.99290
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Integrating noninterfering versions of programsACM Transactions on Programming Languages and Systems, 1989
- An efficient method of computing static single assignment formPublished by Association for Computing Machinery (ACM) ,1989
- Composing recursive logic programs withClausal joinNew Generation Computing, 1988
- Detecting equality of variables in programsPublished by Association for Computing Machinery (ACM) ,1988
- On the adequacy of program dependence graphs for representing programsPublished by Association for Computing Machinery (ACM) ,1988
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- On merging software extensionsActa Informatica, 1986
- The program dependence graph in a software development environmentPublished by Association for Computing Machinery (ACM) ,1984
- Dependence graphs and compiler optimizationsPublished by Association for Computing Machinery (ACM) ,1981
- AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATONPublished by Elsevier ,1971