Hide menu

Program Analysis

DFDA183, 2008VT

Status Archive
School National Graduate School in Computer Science (CUGS)
Division MDH
Owner Björn Lisper
Homepage http://www.idt.mdh.se/phd/courses/proganalys/

  Log in  




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: Webmaster
Last updated: 2012-05-03