Lecture Course by Peter D. Mosses
Spring Semester, 2001

Lectures:

Thursdays 12-14 (R3)

Exercises:

Wednesdays 9-10 (R3)

Thu 3 May:

Operational-semantics-directed compiler generation (denotational semantics has been deferred to the following week)

Please read the paper about RML before the lecture!

• For a good example of a satisfactory project on JOOS, see Mads and Stefan's report.

• The alpha version 0.1 of the new Recife Action Tools can be run at DAIMI by the shell command

  /users/pdm/ASCG-01/RAT/demo

  Some preliminary hints for how to use it are here.

• Try using Actress on some existing examples, see How To Run Actress. Then try adding a repeat-until construct to the microSpecimen language, and use Actress to test the semantics.

  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...

• A list of Corrigenda is available as ps, pdf

• The description of the project is available as Appendix A

• The paper giving the formal definition of AN-2 is available in pdf, also (non-coloured for printing) in ps

• The slides for Chapter 8 are available (the notes are delayed)

• The slides and notes for Chapter 7 are available

• An interim Bibliography is available

Participants are encouraged to insert (brief) questions and comments anywhere on these pages -- e-mail pdm@brics.dk 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

• Description
• Plan
• Documents
• Participants