Tutorial

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:

• Computing primes in Python and C0
• Basic Building Blocks
• Running C0 Programs
• Ints
• Booleans
• Statements
• Contracts
• Strings
• Arrays
• Pointers
• Structs
• Characters
• Comments
• Debugging C0 Programs
• Reasoning with Loop Invariants