|
From: FORTAINE Guillaume <gui.fortaine@...>
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 |
|
|