Search Results for 'Chesnay'

Chesnay published presentations and documents on DocSlides.

Formal verication of a realistic compiler Xavier Leroy INRIA ParisRocquencourt Domaine de Voluceau B

by jane-oiler

P 105 78153 Le Chesnay France xavierleroyinriafr A...

Angelic CHR Thierry Martinez EPI Contraintes INRIA ParisRocquencourt BP Le Chesnay Cedex France

by myesha-ticknor

thierrymartinezinriafr Abstract Implementations o...

A Compiled Implementation of Strong Reduction Benjamin

by yoshiko-marsland

P 105 78153 Le Chesnay France BenjaminGregoireinri...