Lecture Notes for
Peter D. Mosses's course on action semantics and compiler generation.
The first part of these very readable lecture notes
reviews the denotational and operational Semantics that
action semantics is based on.
The second half of the course
"reviews the history of Compiler Generation,
and studies state-of-the-art compiler-generators
based on Action Semantics."
Posted to theory by jon fernquest on 9/9/02; 3:20:06 AM