Abstract
A brief introduction to the theory of Abstract Interpretation, examplified by constructing a hierarchy of partial traces, reflexive transitive closure, reachable states and intervals abstract semantics of transition systems.
Chapter PDF
Similar content being viewed by others
References
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., and Rival, X. (2003). A static analyzer for large safety-critical software. PLDI’2003, 196–207, ACM.
Cousot, P. (1978). Méthodes itératives de construction et d’approximation de points fixes d’opé-rateurs monotones sur un treillis, analyse sémantique de programmes. Thèse d’État ès sciences mathématiques, Grenoble University, 21 March 1978.
Cousot, P. (1981). Semantic foundations of program analysis. In Muchnick, S.S. and Jones, N.D., editors, Program Flow Analysis: Theory and Applications, ch. 10, 303–342. Prentice-Hall.
Cousot, P. (1997). Types as abstract interpretations. 24th POPL, 316–331, ACM.
Cousot, P. (2000a). Abstract interpretation based formal methods and future challenges. « Informatics — 10 Years Back, 10 Years Ahead », LNCS 2000, 138–156, Springer.
Cousot, P. (2000b). Partial completeness of abstract fixpoint checking. SARA’ 2000, LNAI 1864, 1–25, Springer.
Cousot, P. (2002). Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoret. Comput. Sci., 277(1–2):47–103.
Cousot, P. and Cousot, R. (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. 4th POPL, 238–252, ACM.
Cousot, P. and Cousot, R. (1979). Systematic design of program analysis frameworks. 6th POPL, 269–282, ACM.
Cousot, P. and Cousot, R. (1992a). Abstract interpretation frameworks. J. Logic and Comp., 2(4):511–547.
Cousot, P. and Cousot, R. (1992b). Comparing the Galois connection and widening/narrowing approaches to abstract interpretation. PLILP’ 92, LNCS 631, 269–295, Springer.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Cousot, P., Cousot, R. (2004). Basic Concepts of Abstract Interpretation. In: Jacquart, R. (eds) Building the Information Society. IFIP International Federation for Information Processing, vol 156. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-8157-6_27
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8157-6_27
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8156-9
Online ISBN: 978-1-4020-8157-6
eBook Packages: Springer Book Archive