Programming language semantics : imperative and object-oriented languages

A very simple language concrete syntax concrete and abstract syntax informal, operational semantics formal, denotational semantics implementing Loop in ML abstract syntax of loop in ML semantics of loop in ML an interpreter of abstract loop programs parsing loop algebras basic algebras compound algebras constructing algebras modular, algebraic semantics compositionality fixpoint theory undefined operations and infinite loops recursively defined mappings complete partial orders continuous functions strict extensions of functions fixpoints a Language with errors and infinite loops a richer language syntax of While standard semantics of While semantic equivalence the While theorem While in ML operational semantics proof theoretical semantics formal deductive calculi natural semantics axiomatic semantics declarations of data structures a language with variables and constants untyped semantics of Decl0 layered semantics of Decl0 Decl0 in ML typed semantics of Decl0 Decl1 - A language with arrays procedures and functions a taxonomy of parameter transmissions var, val and value parameters name parameters lazy parameters floating procedures and functions objects and classes syntax and informal semantics semantic domains semantic mappings subclasses and inheritance continuations and jumps exits and stops layered continuation semantics Goto's expressions that change the state exceptions nondeterminism and concurrency nondeterminism powerdomains concurrency reflexive domains domain equations sets of non-negative integers the Lambda language using Lambda retracts how to solve domain equations.