Results 281 to 290 of about 590,012 (309)

Automating Abstract Interpretation

2015
Abstract interpretation has a reputation of being a kind of "black art," and consequently difficult to work with. This paper describes a twenty-year quest by the first author to address this issue by raising the level of automation in abstract interpretation.
Thomas W. Reps, Aditya V. Thakur
openaire   +1 more source

Frameworks for abstract interpretation

Acta Informatica, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Observational Completeness on Abstract Interpretation

Fundamenta Informaticae, 2009
In the theory of abstract interpretation, a domain is complete when abstract computations are as precise as concrete computations. In addition to the standard notion of completeness, we introduce the concept of observational completeness. A domain is observationally complete for an observable π when abstract computations are as precise as concrete ...
AMATO, Gianluca, SCOZZARI, Francesca
openaire   +2 more sources

Types as abstract interpretations

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97, 1997
Starting from a denotational semantics of the eager untyped lambda-calculus with explicit runtime errors, the standard collecting semantics is defined as specifying the strongest program properties. By a first abstraction, a new sound type collecting semantics is derived in compositional fix-point form.
openaire   +1 more source

Relational Reversal of Abstract Interpretation

Journal of Logic and Computation, 1992
Summary: Many semantic analyses of functional languages have been developed using the Cousots' abstract interpretation framework. Some operate on abstract values representing the past history of the computation, and are therefore called forwards analyses.
John Hughes 0001, John Launchbury
openaire   +2 more sources

On Various Abstract Understandings of Abstract Interpretation

2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.
openaire   +1 more source

Abstract interpretation for type checking

1991
The typed logic languages are more expressive than the usual untyped ones, but run-time type-checking is in general quite costly. Compile-time type checking is a classical application of the abstract interpretation paradigm. We describe a general abstract interpretation framework and inside it we develop two new methods for the compile-time type ...
FILE', GILBERTO, P. Sottero
openaire   +2 more sources

Abstract interpretation and indeterminacy

1985
We present a theory for the semantics of indeterminate operators in a dataflow network. The assumption is made that the language in which the indeterminate operators are written has a construct that allows for the testing of availability of data on input lines. We then show that indeterminacy arises through the use of such an operator together with the
openaire   +1 more source

Mechanizing Abstract Interpretation

2017
It is important when developing software to verify the absence of undesirable behavior such as crashes, bugs and security vulnerabilities. Some settings require high assurance in verification results, e.g., for embedded software in automobiles or airplanes.
openaire   +2 more sources

On Creating Benchmark Dataset for Aerial Image Interpretation: Reviews, Guidances, and Million-AID

IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2021
Yang Long, Gui-Song Xia, Shengyang Li
exaly