Lecture Course by Peter D. Mosses
Spring Semester, 2001

Lectures:

Thursdays 12-14 (R3)

Exercises:

Wednesdays 9-10 (R3)

Wed 23 May:

CONCLUSION

• The interim Bibliography has been supplemented by a new paper entitled What Use Is Formal Semantics, which gives references to all major (and many minor) approaches to semantics.

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

• A list of Corrigenda is available as ps, pdf

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

• 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