Formal Semantics

Bob Paige

Courant Institute, New York University

This topic covers the operational, denotational, and axiomatic semantics found in Chapters 1 - 7 in Winskel's book. Prolog will be used to implement operational semantics. An example of operational semantics used to define a variant of SETL may be found here.

Topics

1. Operational Semantics

The first two lectures will cover pp. 1 - 54 in Winskel.

2. Denotational Semantics

The third lecture will cover Chapt. 5 of Winskel.

3. Axiomatic Semantics

The fourth and fifth lectures will cover Chapts. 6 and 7.

Homework.

1. Exercises 3.8, 3.9, 4.10, 5.12, 6.6 in Winskel