Sunday, June 5, 2016

C0 is a small safe subset of the C programming language, augmented with contracts.

http://calculem.us/

Submitted June 05, 2016 at 01:59PM by self http://ift.tt/1Y1lLOl Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)