Program AnalysisDFDA183, 2008VT
|
|
Course plan
Lectures
The schedule is not fixed yet, but the course will probably be given in "crash course" format with a few two- or three day intense lecture periods in Västerås and time for homework in-between.
Recommended for
Graduate students with an interest in programming languages, like optimizing compilers, and formal verification.
The course was last given
Spring 2005
Goals
That the student, after having finished the course, should be well versed in the different existing approaches to static program analysis: classical data flow analysis, constraint-based analysis, type-based analysis, and abstract interpretation. The student should also have knowledge of the underlying theory, as well as the most important basic algorithms.
Prerequisites
Semantics of Programming Languages, besides proficiency in programming languages, algorithms, and discrete math.
Contents
See home page for course
Organization
???
Literature
Nielson, Nielson, and Hankin. Principles of Program Analysis. Springer
(Corrected 2nd printing, 452 pages, ISBN 3-540-65410-0), 2005.
See http://www2.imm.dtu.dk/~riis/PPA/ppa.html
Lecturers
Björn Lisper
Possibly some guest lecturers
Examiner
Björn Lisper
Examination
A set of assignments to be done at home
Credit
4.5-7.5 hp (3-5), depending on the extent of the handed-in homework.
Organized by
Dept. of Computer Science and Electronics, Mälardalen University
Comments
Page responsible: Director of Graduate Studies