Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,944,127 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
2010
2010
Optimum growth rate of Belgian Blue double-muscled replacement heifers
L. Fiems
,
D. D. De Brabander
2010
Corpus ID: 34247762
Belgian Blue double-muscled (BBDM) heifers (n = 341) were used to investigate the effect of body weight (BW) at first calving at…
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
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
2001
2001
On Fully Nonlinear PDEs Derived from Variational Problems of Lp Norms
T. Ishibashi
,
Shigeaki Koike
SIAM Journal on Mathematical Analysis
2001
Corpus ID: 207076587
The p-Laplace operator arises in the Euler--Lagrange equation associated with a minimizing problem which contains the Lp norm of…
Expand
2001
2001
On the domain of constructive geometric constraint solving techniques
R. Joan-Arinyo
,
Antoni Soto-Riera
,
S. Vila-Marta
,
Josep Vilaplana-Pasto
Proceedings Spring Conference on Computer…
2001
Corpus ID: 32923362
We study the domain of two constructive geometric constraint solving techniques. Both deal with constraints represented by 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