Semantics with Applications

Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: A Formal Introduction. Wiley Professional Computing, (240 pages, ISBN 0 471 92980 8), Wiley, 1992. In July 1999, a revised edition has been made available for download, in gzip'ed postscript, postcript (recommended), or pdf formats.

Supplementary material for the instructor:

• A copy of the book (postscript recommended):
  • as a pdf document,
  • as a postcript document, or
  • as a gzip'ed postscript document.

• A collection of transparencies for the book:
  • for Chapters 1 and 2: lecture1, lecture2, lecture3, lecture4, lecture5, lecture6, and lecture7.
  • for Chapter 3 (except Section 3.4): lecture10 and lecture11.
  • for Chapter 4: lecture12, lecture13, lecture14, lecture15, lecture16, lecture17, and lecture18.
  • for Chapter 6, Sections 6.1-6.3: lecture26, lecture27, and lecture28.

  It is in fact mildly misleading that the collections are called "lecture" since a few collections are too short for a lecture (being supplemented by other material on the blackboard) and a few are too long (being split over lectures). However, the entire collection of transparencies have been used for about 26 lectures of 45 minutes each.

• Implementations of the Appendices:
  • in Miranda: Appendix B, Appendix C, and Appendix D.
  • in Gofer: Appendix B, Appendix C, and Appendix D.

• The note DAIMI FN-61 that may be used instead of Chapter 5 of the book:
  Hanne Riis Nielson, Flemming Nielson:
  Semantics with Applications: Model-Based Program Analysis.
  DAIMI FN-61, Aarhus University, Denmark, 1996.
  Available as a postscript document or as a compressed postscript document (or simply read the preface).
  
  
• A collection of transparencies for DAIMI FN-61:
  • for Sections 1-4 (except Subsection 4.2): lecture19, lecture20, lecture21, lecture22, lecture23, lecture24, and lecture25.

• A list of misprints in the 1992 version.