-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Welcome to the C0-Tutorial wiki!
This site is under initial construction
C0 is a small safe subset of the C programming language, augmented with contracts, specifically developed for teaching the course 15-122 Principles of Imperative Computation at Carnegie Mellon University.
C0 has not yet been publicly released; a first beta distribution is anticipated for the Fall of 2012. You may email the maintainer Frank Pfenning for more information.
The present pages represent a quasi-tutorial to augment the terse C0 language reference and C0 library reference.
Many people have contributed to C0 and its tool suite. The principal designers are Rob Arnold and Frank Pfenning; additional contributors include Laura Abbott, Tom Cortina, Jason Koenig, William Lovas, Karl Naden, Rob Simmons, Nathan Snyder, Anand Subramanian, and Jakob Uecker.