Abstract interpretation

ACM Computing Surveys

Volumn 28, Issue 2, 1996, Pages 324-328

  Cousot, Patrick ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001502002     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/234528.234740     Document Type: Article

References (8)

1. COUSOT, P. 1981. Semantic foundations of program analysis. In Program Flow Analysis: Theory and Applications. S.S. Muchnick and N.D. Jones, Eds., Prentice-Hall, Englewood Cliffs, NJ, Ch. 10, 303-342.
2. COUSOT, P. AND COUSOT, R. 1994. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages), invited paper. In Proceedings of 1994 ICCL (Toulouse, France, May 16-19), IEEE, Los Alamitos, CA, 95-112.
3. COUSOT, P. AND COUSOT, R. 1992. Abstract interpretation frameworks. J. Logic Comput. 2, 4 (Aug.), 511-547.
4. COUSOT, P. AND COUSOT, R. 1979. Systematic design of program analysis frameworks. In Proceedings of the 6th POPL (San Antonio, TX), ACM Press, New York, 269-282.
5. COUSOT, P. AND COUSOT, R. 1977. Abstract in-terpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th POPL (Los Angeles, CA), ACM Press, New York, 238-252.
6. DEBRAY, S. K. 1994. Formal bases for dataflow analysis of logic programs. In Advances in Logic Programming Theory, International Schools for Computer Scientists, G. Levi, Ed., Clarendon Press, New York, Sect. 3, 115-182.
7. DEUTSCH, A. 1995. Semantic models and abstract interpretation techniques for inductive data structures and pointers. Invited paper. In Proceedings of PEPM'95 (La Jolla, CA, June 21-23), ACM Press, New York, 226-229.
8. JONES, N. AND NIELSON, F. 1995. Abstract interpretation: A semantic-based tool for program analysis. In Semantic Modelling, S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, Eds., number 4 in Handbook of Logic in Computer Science. Clarendon Press, New York.