2014 | OriginalPaper | Chapter
4. Operational Semantics of Imperative Languages
Published in:
Programming Languages and Operational Semantics
Abstract
The discussion of programming language features in the previous chapter was informal. However, informal semantic descriptions may be imprecise, as the following example shows.