Lecture Course by Peter D. Mosses
Spring Semester, 2001

Lectures:

Thursdays 12-14 (R3)

Exercises:

Wednesdays 9-10 (R3)

Mon(!) 23 April, 9-10:

Action-semantics-directed compiler generation

Please read the paper about Actress before the lecture!

Wed 25 April:

Exercise class

Thu 26 April:

NO LECTURE!

• 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