Since 2014
Abstract Interpretation in the Operational Semantics Hierarchy
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Abstract Interpretation in the Operational Semantics Hierarchy
|
|
| Creator |
Schmidt, David A.
|
|
| Description |
We systematically apply the principles of Cousot-Cousot-style abstract interpretation (a.i.) to the hierarchy of operational semantics definitions - flowchart, big-step, and small-step semantics. For each semantics format we examine the principles of safety and liveness interpretations, first-order and second-order analyses, and termination properties. Application of a.i. to data-flow analysis, model checking, closure analysis, and concurrency theory are demonstrated. Our primary contributions are separating the concerns of safety, termination, and efficiency of representation and showing how a.i. principles apply uniformly to the various levels of the operational semantics hierarchy and their applications.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-01-02
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/18781
10.7146/brics.v4i2.18781 |
|
| Source |
BRICS Report Series; No 2 (1997): RS-02 Abstract Interpretation in the Operational Semantics Hierarchy
BRICS Report Series; Nr. 2 (1997): RS-02 Abstract Interpretation in the Operational Semantics Hierarchy 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/18781/16428
|
|