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

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

-

English
37 Pages
Read
Download
Downloading requires you to have access to the YouScribe library
Learn all about the services we offer

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


Subjects

Informations

Published by
Reads 23
Language English
Report a problem