Expected forms of data flow analyses
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 172-191
- https://doi.org/10.1007/3-540-16446-4_10
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Abstract interpretation of denotational definitionsPublished by Springer Nature ,1985
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Complexity of flow analysis, inductive assertion synthesis and a language due to DijkstraPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Data types as objectsPublished by Springer Nature ,1977