Literature: David A. Schmidt. Denotational Semantics - A Methodology for Language Development. Allyn and Bacon, Boston, Massachusetts, 1986.
The following slides do not contain the figures printed in Schmidt's book. Any course using these slides must therefore be based on local copies of the book.
Methods for semantics specifications, preview on basic structure of denotational definitions.
Abstract syntax definitions, mathematical and structural induction.
Sets, functions, semantic domains.
Semantic algebras, examples of primitive domains, compound domains, recursive function and domain definitions.
A calculator language.
A language with assignment.
An interactive file editor, input and output, altering the properties of stores, delayed evaluation, multiple stores, noncommunicating commands.
Recursively defined functions, partial orderings, continuous functions, least fixed points, domains are cpos, examples.
A block-structured language, stack-managed storage, the meaning of identifiers.
An applicative language, scoping rules, self-application, recursive definitions.
Compound data structures.
Abstraction, recursive bindings.
Parameterization, polymorphism and typing.
Correspondence, qualification, orthagonality.