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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2000
Highly Cited
2000
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
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
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
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
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
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
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
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
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
A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation… (More)
Is this relevant?