A framework for construction and evaluation of high-level specifications for program analysis techniques
- 21 June 1989
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 24 (7) , 1-12
- https://doi.org/10.1145/74818.74819
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- A collecting interpretation of expressionsPublished by Association for Computing Machinery (ACM) ,1988
- Data flow analysis of applicative programs using minimal function graphsPublished by Association for Computing Machinery (ACM) ,1986
- Semantics-directed code generationPublished by Association for Computing Machinery (ACM) ,1985
- Compiler prototyping using formal semanticsPublished by Association for Computing Machinery (ACM) ,1984
- Control Flow Aspects of Semantics-Directed CompilingACM Transactions on Programming Languages and Systems, 1983
- A denotational framework for data flow analysisActa Informatica, 1982
- Incremental evaluation for attribute grammars with application to syntax-directed editorsPublished by Association for Computing Machinery (ACM) ,1981
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973