Lecture planning

The 10 first hours are common with the SDL course.

Lecture Date Topic Teacher Notes
1
20/09/2016 Operational semantics DD
[pdf]
2
27/09/2016 Dataflow analysis
TJ [pdf]
3
04/10/2016 Dataflow analysis TJ [pdf]
4 11/10/2016 Lambda calculus and type systems DD [pdf]
5
18/10/2016 Constraint-based analysis TJ [pdf]
6
02/11/2016 Static information flow control DD
[pdf]
7 16/11/2016
Abstract interpretation TJ
[pdf]
8 23/11/2016
Abstract interpretation TJ
[pdf]
9
30/11/2016
Java bytecode semantics and verification TJ
[pdf]
10
13/12/2016
Exam

Teachers: Thomas Jensen (TJ) and Delphine Demange (DD)


WhileAnalyser: a simple While analyser

David Pichardie has developed a simple static analyser for the While language. The Ocaml sources of WhileAnalyser can be downloaded here (use make to compile). An interactive web-demo is here. You can also read the on-line API documentation.