Niveau: Supérieur, Master
Ecole Normale Superieure de Cachan - Antenne de Bretagne Master 2 Recherche en Informatique Internship Report February - June 2010 Krivine Realizability for Compiler Correctness Guilhem Jaber Supervised by Nicolas Tabareau Ecole des Mines de Nantes Laboratoire d'Informatique de Nantes Atlantique - INRIA du m as -0 05 30 71 0, v er sio n 1 - 2 9 O ct 2 01 0
- quantification over
- superieure de cachan - antenne de bretagne master
- like properties
- language-based security
- source language
- krivine realizability
- code