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

Related topics

Related topics

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

Broader (1)

Program analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Verification, Model Checking, and Abstract Interpretation
This chapter contains sections titled: Organizing Committee, Motivations and Goals, Contributions, Proceedings 
Highly Cited
2004
Highly Cited
2004
Abstract non-interference: parameterizing non-interference by abstract interpretation
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
Making abstract interpretations complete
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
Cache Behavior Prediction by Abstract Interpretation
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
Abstract Interpretation Frameworks
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
Abstract Interpretation and Application to Logic Programs
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
Compile-Time Derivation of Variable Dependency Using Abstract Interpretation
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
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation
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
Iii
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
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… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE