The Internet Archive has a preservation copy of this work in our general collections.
The file type is
Operational semantics has established itself as a flexible but rigorous means to describe the meaning of programming languages. Oftentimes, it is felt necessary to keep a semantics small, for example to facilitate its use for model checking by avoiding state space explosion. However, omitting many details in a semantics typically makes results valid for a limited core language only, leaving a wide gap towards any real implementation. In this paper we present a full-fledged semantics of thearXiv:1101.1038v2 fatcat:jsuio5744bcirchfdpa4rrhaf4