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.
2017
2017
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis
We introduce a technique for component-based program synthesis that relies on searching for a target program and its proof of… 
2008
2008
A note on absolute continuity in free semigroup algebras
A free semigroup algebra is the weak operator topology closed (nonself-adjoint, unital) algebra generated by n isometries with… 
2008
2008
An Extensible Services Orchestration Framework through Concern Composition
Service composition is one of the major ways to get new applications out of existing software components (services). The focus so… 
2007
2007
Inferring Local (Non-)Aliasing and Strings for Memory Safety 1
A guide beam and tracking system for steering a flying body toward a target in accordance with the beam rider principle, is… 
2006
2006
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis
This work is part of a larger project [17] which aims at establishing some important properties of C] and CLR by mathematical… 
2004
2004
Enabling SystemC Verification using Abstract State Machines
SystemC is a system level language recently proposed to raise the abstraction level for embedded systems design and verification… 
2001
2001
On Fully Nonlinear PDEs Derived from Variational Problems of Lp Norms
The p-Laplace operator arises in the Euler--Lagrange equation associated with a minimizing problem which contains the Lp norm of… 
2001
2001
On the domain of constructive geometric constraint solving techniques
We study the domain of two constructive geometric constraint solving techniques. Both deal with constraints represented by a… 
Review
1993
Review
1993
Abstract reduction and topology
reduction and topology Ferrer, W.; Severi, P.G. Published: 01/01/1993 Document Version Publisher’s PDF, also known as Version of… 
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)