Lecture
Section outline
-
The lecture will be based on a not yet published manuscript "Thinking Programs" that covers in Chapters 1 and 7 the topic of the abstract syntax and the formal semantics of "Programming Languages"; in the course we will walk through parts of these chapters.
- Chapter 1: Syntax and Semantics1 (teaser excerpt only)
- Chapter 7: Programming Languages (teaser excerpt only)
- Thinking Programs (draft manuscript, password will be handed out in class)
Variously we will also use material from previous instances of this course (not aligned with above chapter):- Denotational Semantics (Part 1)
- Denotational Semantics -- A Methodology for Language Development: Chapters 1-5.1
- Operational Semantics
- Introduction to Operational Semantics (restricted)
- IMP: a Simple Imperative Language (restricted)
- Big Step Structural Operational Semantics (restricted)
- Small Step Structural Operational Semantics (restricted)
- Modular Structural Operational Semantics (restricted)
- Equivalence to Denotational Semantics (restricted)
- Denotational Semantics (Part 2)
- Denotational Semantics -- A Methodology for Language Development: Chapters 6 and 5.2--5.4
- Languages with Contexts
- Axiomatic Semantics
- The Axiomatic Semantics of IMP (restricted)
- Chapter 1: Syntax and Semantics1 (teaser excerpt only)