Clone wiki

docs / 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: