Abstract Interpretation in the Operational Semantics Hierarchy

Authors

  • David A. Schmidt

DOI:

https://doi.org/10.7146/brics.v4i2.18781

Abstract

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.

Downloads

Published

1997-01-02

How to Cite

Schmidt, D. A. (1997). Abstract Interpretation in the Operational Semantics Hierarchy. BRICS Report Series, 4(2). https://doi.org/10.7146/brics.v4i2.18781