Lab sessions
Sessions
- 04/03/2016: TP1: Denotational semantics.
- 11/03/2016: TP2: Typing.
- 13/05/2016: TP3: Interval analysis.
- 20/05/2016: TP4: Relational analysis
- 27/05/2015: TP5: Reduced product.
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
Author: Antoine Miné