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

Comments

Popular posts from this blog