Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,577 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.
2017
2017
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis
A. Gascón
,
A. Tiwari
,
Brent Carmer
,
Umang Mathur
International Conference on Computer Aided…
2017
Corpus ID: 27836459
We introduce a technique for component-based program synthesis that relies on searching for a target program and its proof of…
Expand
2012
2012
Understanding Physical Concepts using an Immersive Virtual Learning Environment
J. Pirker
,
S. Berger
,
C. Guetl
,
J. Belcher
,
P. Bailey
2012
Corpus ID: 40832491
Understanding basic physical concepts is not an easy task. The Technology Enabled Active Learning Approach (TEAL) is an…
Expand
2009
2009
Stacking-Based Context-Sensitive Points-to Analysis for Java
Haifa Verification Conference
2009
Corpus ID: 11850268
Points-to analysis for Java infers heap objects that a reference variable can point to. Existing practiced context-sensitive…
Expand
2008
2008
A note on absolute continuity in free semigroup algebras
K. Davidson
,
Dilian 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
,
C. 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
,
A. 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
,
K. 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
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