Programming Language Semantics

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.