Subject: The Compcert Verified Compiler
Newsgroups: gmane.science.mathematics.frogs
Date: 2008-03-14 23:59:34 GMT (7 weeks, 6 days, 19 hours and 33 minutes ago)
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