Skip to search formSkip to main contentSkip to account menu

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
We present AI2, the first sound and scalable analyzer for deep neural networks. Based on overapproximation, AI2 can automatically… 
Highly Cited
2018
Highly Cited
2018
We introduce a scalable method for training robust neural networks based on abstract interpretation. We present several abstract… 
Review
2010
Review
2010
We present an overview of Clousot, our current tool to statically check CodeContracts. CodeContracts enable a compiler and… 
Highly Cited
2009
Highly Cited
2009
This chapter contains sections titled: Organizing Committee, Motivations and Goals, Contributions, Proceedings 
Highly Cited
2005
Highly Cited
2005
When designing a tractable static analysis, one usually needs to approximate the trace semantics. This paper proposes a… 
Highly Cited
2000
Highly Cited
2000
Completeness is an ideal, although uncommon, feature of abstract interpretations, formalizing the intuition that, relatively to… 
Highly Cited
1997
Highly Cited
1997
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verication… 
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… 
Highly Cited
1992
Highly Cited
1992
The use of infinite abstract domains with widening and narrowing for accelerating the convergence of abstract interpretations is… 
Highly Cited
1977
Highly Cited
1977
A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation…