Monday, March 2, 2015

CompCert: A formally verified optimizing C compiler

Comments



from Hacker News http://bit.ly/1FMSNXc
Posted by at

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.

Subscribe to: Post Comments (Atom)