Literature

Semantics of
Programming
Languages




Home
Literature
Assignments
Exams
Mailing List

Part 1

• John C. Mitchell. Foundations for Programming Languages. The MIT Press, 1996.
  
  
• Franz Baader and Tobias Nipkow. Term Rewriting and All That. Cambridge University Press 1998.
  
  
• Michael R. A. Huth und Mark D. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2000.

Part 2

• Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer, 1999.
  
  
• Patrick Cousot, Radhia Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2--3):103--179, 1992.
  Only sections 1-5 are of interest to us.
  
  
• Thomas Ball, Andreas Podelski, Sriram K. Rajamani. Boolean and Cartesian Abstraction for Model Checking C Programs. In Proceedings of TACAS, 2001.

Lecture notes

• Lecture 1.
• Lecture 2.
• Lecture 3.
• Lecture 4.
• Lecture 7.

Latex

• A short introduction to latex by Jon Warbrick, including a table of mathematical symbols.