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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Ambient Intelligence (AmI) aims at the development of computational systems that process data acquired by sensors embedded in the… 
2012
2012
Due to the increasing algorithmic complexity of today’s embedded systems, consideration of extra-functional properties becomes… 
2010
2010
We propose a new technique for developing ad-hoc numerical abstract domains by means of statistical analysis. We apply Principal… 
2004
2004
Information about calls to the operating system (or kernel libraries) made by a binary executable may be used to determine… 
2000
2000
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for… 
1998
1998
We present a coordination language and its semantics for specification and implementation of object-oriented real-time systems… 
1991
1991
  • P. Mäkilä
  • 1991
  • Corpus ID: 12645333
1974
1974
EXT. WASHINGTON SQUARE PARK, NEW YORK AMOS VOGEL You know, there’s something I call visual sensibility. A sensibility for form…