Principles of Program Analysis

Organization

The first lecture is on Thursday, October 17, 2019. It is still possible to join in!

If you are interested, please do not hesitate to come on Thursday. If there are problems with the dates of the lecture, we would appreciate, if you could inform us about it. If there are enough students, we can try to find different dates.

This lecture covers formal methods of data flow analysis, constraint-based analysis and abstract interpretation, with a focus on the analysis of Constraint Handling Rules, e.g. Confluence, Operational Equivalence, Complexity, Termination.

Related Literature

  • Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of Program Analysis (1999), Springer-Verlag Berlin Heidelberg
  • Thom Frühwirth: Constraint Handling Rules (2009), Cambridge University Press
Schedule WS19/20

Tue, 16-18 in O27/2201

Thu, 16-18 in O27/2202