The Compcert Verified Compiler

FORTAINE Guillaume <gui.fortaine-1tsiiZ//[email protected]> Sat, 15 Mar 2008 00:59:34 +0100

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<[email protected]>

Misses, Misters,

I would greatly appreciate to have your comments on this research 
project, if possible, please :

The *Compcert* verified compiler <http://compcert.inria.fr/doc/index.html>


I look forward to your answer,

Best Regards,

GF