C^o is a not very general purpose programming language whose syntax derives largely from C. C^o is, however, semantically more similar to Pascal than C. In designing C^o, I have attempted to eliminate as many unnecessary details as possible while retaining enough features to ensure that the construction of a C^o compiler will expose you to many of the major issues one must address when constructing a compiler for a real language.

This document includes a formal description of the syntax of C^o and an informal discussion of its semantics. You may either download a complete copy of the description of C^o in PDF form or click on the following links to read the contents of this document in your web browser.

• Lexical Issues
• Program Structure
• Types
• Variable Declarations
• Functions
• Statements
• Variables
• Expressions
• Input/Output