Abstract interpretation
- 1 June 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 28 (2) , 324-328
- https://doi.org/10.1145/234528.234740
Abstract
Interpretation (Cousot and Cousot 1977, 1979) is a general theory for approximating the semantics of dis- crete dynamic systems, for example, computations of programs. In particu- lar, program analysis algorithms can be constructively derived from these ab- stract semantics. PRINCIPLES OF ABSTRACT INTERPRETATIONKeywords
This publication has 2 references indexed in Scilit:
- Semantic models and abstract interpretation techniques for inductive data structures and pointersPublished by Association for Computing Machinery (ACM) ,1995
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992