Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,717,284 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
Context-based scene recognition from visual data in smart homes: an Information Fusion approach
J. Gómez‐Romero
,
Miguel A. Serrano
,
M. A. Patricio
,
Jesús García
,
Jose M. Molina
Personal and Ubiquitous Computing
2012
Corpus ID: 2205346
Ambient Intelligence (AmI) aims at the development of computational systems that process data acquired by sensors embedded in the…
Expand
2012
2012
Non-invasive Power Simulation at System-Level with SystemC
Daniel Lorenz
,
Philipp A. Hartmann
,
Kim Grüttner
,
W. Nebel
International Workshop on Power and Timing…
2012
Corpus ID: 263860263
Due to the increasing algorithmic complexity of today’s embedded systems, consideration of extra-functional properties becomes…
Expand
2010
2010
Deriving Numerical Abstract Domains via Principal Component Analysis
G. Amato
,
M. Parton
,
F. Scozzari
Sensors Applications Symposium
2010
Corpus ID: 1505038
We propose a new technique for developing ad-hoc numerical abstract domains by means of statistical analysis. We apply Principal…
Expand
2006
2006
Extending separation logic with fixpoints and postponed substitution
Élodie-Jane Sims
Theoretical Computer Science
2006
Corpus ID: 3118386
2004
2004
Abstract Stack Graph to Detect Obfuscated Calls in Binaries
Arun Lakhotia
,
E. U. Kumar
2004
Corpus ID: 6400763
Information about calls to the operating system (or kernel libraries) made by a binary executable may be used to determine…
Expand
2000
2000
Proving Failure in Functional Logic Programs
F. J. López-Fraguas
,
J. Sánchez-Hernández
Computational Logic
2000
Corpus ID: 3228243
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for…
Expand
1998
1998
Specification of real-time interaction constraints
B. Nielsen
,
Shangping Ren
,
G. Agha
IEEE International Symposium on Real-Time…
1998
Corpus ID: 9464081
We present a coordination language and its semantics for specification and implementation of object-oriented real-time systems…
Expand
1997
1997
Directional Types and the Annotation Method
Johan Boye
,
J. Maluszynski
The Journal of Logic Programming
1997
Corpus ID: 15829839
1991
1991
On identification of stable systems and optimal approximation
P. Mäkilä
at - Automatisierungstechnik
1991
Corpus ID: 12645333
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE