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 (opens in a new tab)

Related topics

Related topics

50 relations
Abstract machineAbstraction (software engineering)Astrée (static analysis)CPAchecker

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
Ambient Intelligence (AmI) aims at the development of computational systems that process data acquired by sensors embedded in the… 
2012
2012
Non-invasive Power Simulation at System-Level with SystemC
Due to the increasing algorithmic complexity of today’s embedded systems, consideration of extra-functional properties becomes… 
2010
2010
Deriving Numerical Abstract Domains via Principal Component Analysis
We propose a new technique for developing ad-hoc numerical abstract domains by means of statistical analysis. We apply Principal… 
2009
2009
A PVS Theory for Term Rewriting Systems
2004
2004
Abstract Stack Graph to Detect Obfuscated Calls in Binaries
Information about calls to the operating system (or kernel libraries) made by a binary executable may be used to determine… 
2000
2000
Proving Failure in Functional Logic Programs
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for… 
1998
1998
Derivation of Proof Methods by Abstract Interpretation
We study the application of abstract interpretation to the design of inductive methods for verifying properties of logic programs… 
1997
1997
Directional Types and the Annotation Method
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
EXT. WASHINGTON SQUARE PARK, NEW YORK AMOS VOGEL You know, there’s something I call visual sensibility. A sensibility for form… 
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)