#
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