|ascg-01 - Version 60||ascg-01|
Action Semantics and Compiler Generation
Lecture Course by Peter D. Mosses
Spring Semester, 2001
Operational-semantics-directed compiler generation (denotational semantics has been deferred to the following week)
Please read the paper about RML before the lecture!
Some preliminary hints for how to use it are here.
N.B. It appears that anc assumes a different version of action notation from ani and ag, so one can't use anc at present...
Participants are encouraged to insert (brief) questions and comments anywhere on these pages -- e-mail firstname.lastname@example.org if you've forgotten the name or password.
Remember to sign your comments! [pdm]
About Chapter 8: If anyone has problems with understanding CASL specifications, I will gladly help -- klin