The program dependence graph in static program testing
- 30 January 1987
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 24 (2) , 103-108
- https://doi.org/10.1016/0020-0190(87)90102-5
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Static Data Flow Analysis of PL/I Programs with the PROBE SystemIEEE Transactions on Software Engineering, 1984
- Program SlicingIEEE Transactions on Software Engineering, 1984
- The program dependence graph in a software development environmentACM SIGPLAN Notices, 1984
- A Data Flow Oriented Program Testing StrategyIEEE Transactions on Software Engineering, 1983
- Automatic Program Improvement: Variable Usage TransformationsACM Transactions on Programming Languages and Systems, 1983
- A fast algorithm for finding dominators in a flowgraphACM Transactions on Programming Languages and Systems, 1979
- Certification of programs for secure information flowCommunications of the ACM, 1977
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- Logical analysis of programsCommunications of the ACM, 1976