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.
2015
2015
Effective abstractions for verification under relaxed memory models
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
Abstract reduction in directed model checking CCS processes
Model checking tools face a combinatorial blow up of the state-space (commonly known as the state explosion problem) that must be… 
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… 
2007
2007
Generating Polynomial Invariants with DISCOVERER and QEPCAD
This paper investigates howto apply the techniques on solving semi-algebraic systems to invariant generation of polynomial… 
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… 
1997
1997
Directional Types and the Annotation Method
1994
1994
Processing local and unbounded dependencies: A unified account
This paper proposes an account of incremental sentence processing and the initial stage of syntactic ambiguity resolution, based… 
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)