Data Flow Analysis in Software Reliability
- 1 September 1976
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 8 (3) , 305-330
- https://doi.org/10.1145/356674.356676
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A Simple Algorithm for Global Data Flow Analysis ProblemsSIAM Journal on Computing, 1975
- Testing flow graph reducibilityJournal of Computer and System Sciences, 1974
- Characterizations of Reducible Flow GraphsJournal of the ACM, 1974
- Algorithm 447: efficient algorithms for graph manipulationCommunications of the ACM, 1973
- Fast algorithms for the elimination of common subexpressionsActa Informatica, 1973
- Flow Graph ReducibilitySIAM Journal on Computing, 1972
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972
- An empirical study of FORTRAN programsSoftware: Practice and Experience, 1971
- GRAPH THEORYPublished by Defense Technical Information Center (DTIC) ,1969
- A note on the application of graph theory to digital computer programmingInformation and Control, 1960