Action Semantics

---

Week 6:

Introduction and motivation

Week 7:

Control and data flow

Week 8:

Scopes of bindings, actions as data

Week 9:

Effects on storage, interactive processes

Week 10:

Interactive processes (ctd.), auxiliary concepts

Week 11:

Action theory

Week 12:

Action tools

Weeks 13-14:

Project

Compiler Generation

---

Weeks 15-16 (around Easter):

History of compiler generation

Week 17:

Action-semantics-based compiler generation

Week 18:

Operational-semantics-based compiler generation

Week 19:

Denotational-semantics-based compiler generation

Week 20:

Project

Week 21:

Conclusion