Bjorn Kirkerud.
Programming Language Semantics: imperative and object oriented languages.
Thomson. 1997
(read but not reviewed)
Contents:
- Introduction
- A very simple language
- Implementing Loop in ML
- Algebras
- Fixpoint theory
- A language with errors and infinite loops
- Operational semantics
- Proof-theoretic semantics
- Declarations of data structures
- Procedures and functions
- Objects and classes
- Continuations and jumps
- Nondeterminism and concurrency
- Reflexive domains