02242: Program Analysis (Autumn 2015)



The lectures and exercise sessions take place Mondays from 13.00-17.00 in building 324, room 040.


Hanne Riis Nielson and Jan Midtgaard


            Panagiotis Vasilikos


Course material:

NNH Flemming Nielson, Hanne Riis Nielson and Chris Hankin: Principles of program analysis, Springer Verlag, 2005 (corrected 2nd printing, ISBN 3-540-65410-0). The book is available from the bookstore in building 101.


Preliminary schedule:

            See CampusNet for more details.


More details on the course including learning objectives:

            See the Course Base 2015/2016