Lecture planning

The 10 first hours are common with the SDL course.

Lecture Date Topic Teacher Location Notes
1
24/09/2013 Small-step operational semantics and natural semantics for a small imperative language; equivalence of semantics TJ
I59
[pdf]
2
01/10/2013 Semantics of lambda calculus.
TJ i56

3
08/10/2013 Type systems TJ i56
[pdf]
4
15/10/2013 Data flow analysis
TJ
i56
[pdf]
5
17/10/2013 Constraint based analysis
TJ
I59
[pdf]
6 08/11/2013 Java bytecode verification TJ Guernesey
[pdf]
7 06/11/2013
Abstract interpretation DP
Guernesey [pdf]
8 13/11/2013
Abstract interpretation DP
Guernesey
[pdf]
9
20/11/2013
Abstract interpretation DP
Guernesey [pdf]
10
15/11/2013 JavaScript
TJ Guernesey
[pdf]

QUIZ final : Mardi 17/12 2013 14h !

Example exam (from 2011)

Teacher : Thomas Jensen (TJ) , David Pichardie (DP)

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.