Abstract interpretation

Known as: Abstract reduction 
In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions… (More)
Wikipedia

Related topics

Related topics

50 relations
Abstract machineAbstraction (software engineering)Astrée (static analysis)CPAchecker
(More)

Broader (1)

Program analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2000
Highly Cited
2000
Making abstract interpretations complete
Completeness is an ideal, although uncommon, feature of abstract interpretations, formalizing the intuition that, relatively to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Temporal Abstract Interpretation
We study the abstract interpretation of temporal calculi and logics in a general syntax, semantics and abstraction independent… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract Interpretation of Reactive Systems
Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH Eindhoven University of Technology and ORNA GRUMBERG Technion, Haifa… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Abstract Interpretation Frameworks
Interpretation Frameworks Patrick Cousot LIENS, École Normale Supérieure 45, rue d’Ulm 75230 Paris cedex 05 (France) cousot@dmi… (More)
  • figure 1
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Abstract Interpretation and Application to Logic Programs
Interpretation and Application to Logic Programs ∗ Patrick Cousot LIENS, École Normale Supérieure 45, rue d’Ulm 75230 Paris cedex… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Compile-Time Derivation of Variable Dependency Using Abstract Interpretation
Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Inductive Definitions, Semantics and Abstract Interpretation
We introduce and illustrate a <italic>specification method</italic> combining rule-based inductive definitions, well-founded… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A Practical Framework for the Abstract Interpretation of Logic Programs
INTERPRETATION OF LOGIC PROGRAMS 93 AND-OR tree (Section 3.1). In Section 3.2, we introduce the building blocks: procedure entry… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Abstract Interpretation of Declarative Languages
Interpretation Of Declarative Languages New updated! The latest book from a very famous author finally comes out. Book of… (More)
Is this relevant?
Highly Cited
1977
Highly Cited
1977
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints
A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation… (More)
Is this relevant?