Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
This chapter contains sections titled: Organizing Committee, Motivations and Goals, Contributions, Proceedings 
Highly Cited
2004
Highly Cited
2004
In this paper we generalize the notion of non-interference making it parametric relatively to what an attacker can analyze about… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
Highly Cited
2000
Highly Cited
2000
Completeness is an ideal, although uncommon, feature of abstract interpretations, formalizing the intuition that, relatively to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1999
Highly Cited
1999
Abstract Abstract interpretation is a technique for the static detection of dynamic properties of programs. It is semantics-based… Expand
  • table I
Highly Cited
1992
Highly Cited
1992
Interpretation Frameworks Patrick Cousot LIENS, Ecole Normale Superieure 45, rue d’Ulm 75230 Paris cedex 05 (France) cousot@dmi… Expand
  • figure 1
Highly Cited
1992
Highly Cited
1992
interpretation is a theory of semantics approximation that is used for the construction of semantic-based program analysis… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1992
Highly Cited
1992
Abstract Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
Highly Cited
1991
Highly Cited
1991
The use of infinite abstract domains with widening and narrowing for accelerating the convergence of abstract interpretations is… Expand
Highly Cited
1985
Highly Cited
1985
over native-speaking users of English. Secondly, the numerical preponderance of non-native speakers means that it is their… Expand
  • figure 1.1
  • figure 3.1
  • figure 5.2
  • figure 5.3
  • figure 6.2
Highly Cited
1977
Highly Cited
1977
A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation… Expand