A framework for construction and evaluation of high-level specifications for program analysis techniques
- 21 June 1989
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 24 (7) , 1-12
- https://doi.org/10.1145/73141.74819
Abstract
Interpretation introduced the notion of formal specification of program analyses. Denotational frameworks are convenient for reasoning about such specifications. However, implementation considerations make denotational specifications complex and hard to develop. We present a framework that facilitates the construction and understanding of denotational specifications for program analysis techniques. The framework is exemplified by specifications for program analysis techniques from the literature and from our own research. This approach allows program analysis techniques to be incorporated into automatically generated program synthesizers by including their specifications with the language definition.Keywords
This 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