Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,060,773 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract machine
Abstraction (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.
2012
2012
Understanding Physical Concepts using an Immersive Virtual Learning Environment
J. Pirker
,
S. Berger
,
C. Gütl
,
J. Belcher
,
Philip H. Bailey
2012
Corpus ID: 40832491
Understanding basic physical concepts is not an easy task. The Technology Enabled Active Learning Approach (TEAL) is an…
Expand
2008
2008
A note on absolute continuity in free semigroup algebras
K. Davidson
,
Di-Lian Yang
2008
Corpus ID: 12936230
A free semigroup algebra is the weak operator topology closed (nonself-adjoint, unital) algebra generated by n isometries with…
Expand
2007
2007
Inferring Local (Non-)Aliasing and Strings for Memory Safety 1
Yannick Moy
,
Claude March
2007
Corpus ID: 16377276
A guide beam and tracking system for steering a flying body toward a target in accordance with the beam rider principle, is…
Expand
2006
2006
Iteratively defined transfinite trace semantics and program slicing with respect to them
Härmel Nestra
2006
Corpus ID: 122010070
2004
2004
Enabling SystemC Verification using Abstract State Machines
Amjad Gawanmeh
,
Ali Habibi
,
S. Tahar
Forum on Specification and Design Languages
2004
Corpus ID: 17853393
SystemC is a system level language recently proposed to raise the abstraction level for embedded systems design and verification…
Expand
2003
2003
KNOWLEDGE MANAGEMENT AND LEARNING CULTURE IN DISTRIBUTED ENGINEERING
P. Troxler
,
Kristina Lauche
2003
Corpus ID: 56444346
The first wave of Knowledge Management was mainly technology driven. The current second wave focuses on behaviour and culture…
Expand
1998
1998
Inferring call and success types for CLP programs
W. Drabent
,
P. Pietrzak
1998
Corpus ID: 14930394
This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a…
Expand
1997
1997
Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract)
Luddy Harrison
Sensors Applications Symposium
1997
Corpus ID: 43610815
Abstract interpretation has enormous promise and yet remains at the margins of compiler practice. In this talk I will argue that…
Expand
1992
1992
Relational Reversal of Abstract Interpretation
John Hughes
,
J. Launchbury
Journal of Logic and Computation
1992
Corpus ID: 29779920
Many semantic analyses of functional languages have been developed using the Cousots' abstract interpretation framework. Some…
Expand
1974
1974
Film as a Subversive Art
Amos Vogel
1974
Corpus ID: 190139263
EXT. WASHINGTON SQUARE PARK, NEW YORK AMOS VOGEL You know, there’s something I call visual sensibility. A sensibility for form…
Expand