Transforming semantics by abstract interpretation (Q557807): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Created claim: Wikidata QID (P12): Q62046240, #quickstatements; #temporary_batch_1708296850199 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q62046240 / rank | |||
Normal rank |
Revision as of 01:05, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Transforming semantics by abstract interpretation |
scientific article |
Statements
Transforming semantics by abstract interpretation (English)
0 references
30 June 2005
0 references
The most well-known structural properties of semantics, such as their precision, compositionality, and relation between complementary observables, by using standard abstract interpretation techniques are analyzed. It is proved that most of these properties can be characterized in terms of properties of the corresponding abstractions. This is achieved by isolating a suitable set of abstract domain transformers which allows one to design abstractions accordingly, providing a characterization of semantics of programming languages as solutions of simple abstract domain equations, involving both some basic observable property which has to be observed by the semantics and the abstract domain transformers necessary in order to achieve a suitable structural property.
0 references
abstract interpretation
0 references
comparative semantics
0 references
compositionality
0 references
constraint programming
0 references
domain theory
0 references