The use of program dependence graphs in software engineering
- 1 January 1992
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 392-411
- https://doi.org/10.1109/icse.1992.753516
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- Algebraic properties of program integrationScience of Computer Programming, 1991
- A formal model of program dependences and its implications for software testing, debugging, and maintenanceIEEE Transactions on Software Engineering, 1990
- Algebraic properties of program integrationPublished by Springer Nature ,1990
- Illustrating interference in interfering versions of programsPublished by Association for Computing Machinery (ACM) ,1989
- Detecting interference when merging specification evolutionsPublished by Association for Computing Machinery (ACM) ,1989
- Global value numbers and redundant computationsPublished by Association for Computing Machinery (ACM) ,1988
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- The program dependence graph in a software development environmentPublished by Association for Computing Machinery (ACM) ,1984
- Group-Theoretic Algorithms and Graph IsomorphismLecture Notes in Computer Science, 1982
- AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATONPublished by Elsevier ,1971