Ecole Normale Superieure de Cachan Antenne de Bretagne Master Recherche en Informatique

Guilhem Jaber Supervised

Description

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

Sujets

• École des Mines
• Source language

Informations

• Publié par: dumas_ccsd
• Nombre de lectures: 23
• Langue: English

Extrait