CompCert – A formally verified C compiler
Article URL: http://compcert.inria.fr/
Comments URL: https://news.ycombinator.com/item?id=18968125
Points: 14
# Comments: 2
from Hacker News: Front Page http://bit.ly/12ziyHz
via
Article URL: http://compcert.inria.fr/
Comments URL: https://news.ycombinator.com/item?id=18968125
Points: 14
# Comments: 2
Comments
Post a Comment