Lab sessions
Sessions
Room INFO 3.
- 04/03/2015: TP1: Denotational semantics. (some correction now available)
- 18/03/2015: TP2: Typing.
- 06/05/2015: TP3: Interval analysis.
- 13/05/2015: TP4: Relational analysis.
- 20/05/2015: TP5: finish interval and relational analyses, help with the project.
Slides
Main course page, with the course slides.
Code
- codeV1.tgz: base language (parser and printer)
- codeV2.tgz: base language with variable declarations.
Documentation
- OCaml language
- Menhir parser generator
- ZArith arbitrary precision number library
- Apron abstract domain library
- Mapext maps with some additional useful functions
Course slides
Author: Antoine Miné