Home

Welcome to the C0 Tutorial wiki!

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.

Here is a suggested reading order, after this home page:

• Basic Building Blocks
• C0 at CMU
• Running C0 Programs
• Ints
• Booleans
• Statements
• Contracts
• Strings
• Arrays
• Pointers
• Structs
• Characters
• Comments
• Debugging C0 Programs

Some external authoritative sources on C0:

• C0 language reference
• C0 library reference
• cc0 advanced user's guide

C0 has not yet been publicly released, but a first beta distribution (binary only) is now available for download (see the links in the left side-bar on the C0 home page):

• C0 downloads

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, Jakob Uecker, Ishan Bhargava, and Iliano Cervesato.