TDDD47 Programming Theory

Course literature and resources

Literature

• Hanne Riis Nielson and Flemming Nielson: Semantics with Applications: An Appetizer, Springer 2007.

  Previous version of this book: Semantics with Applications, John Wiley and Sons 1992.

• A "kompendium" on Standard ML programming language.
• Some other material will be posted here.

Slides to the (first edition of the) textbook are available from this directory at the book's www site.
(The slides at the book's site are in dvi format, use dvips or dvipdf to produce other formats, use xdvi or YAP to view it. I used this shell script to convert them into postscript).

Resources

• The course page at IDA.
• A directory with slides used at the lectures.
• Slides and compendium (with an errata) to the lecture on lambda-calculus.
• Solutions to problems from the problem solving tutorials:
  
  • Tutorial 1 on NS.
  • Tutorial 3 on DS with a small bug. In the last point of 5.53, in the first chain of equalities, where cond is first introduced, there should be no "while" inside the syntactic brackets, just S. In the next step, FIX is correctly rewriten to "while".
• "Viewpoint: the real reason why software engineers need math", by K. Devlin. Comm.ACM, vol.44, no.10, 2001.
• Some older stuff.
  • Slides and notes to the the lectures on axiomatic semantics, from the previous time the course has been given.
  • A directory with some old slides used in previous years.