Resources

15-411/611 Resources

15-411-F20@Github

Source Language: C0

The labs use increasingly more complete subsets of the C0 programming language that has been designed for 15-122 Principles of Imperative Computation, a freshman-level course at Carnegie Mellon University. C0 is a small safe subset of C with an unambiguous semantics. You are strongly encouraged to learn C0, since you will be writing a compiler for this language.

Target Languages and Tools

x86-64 Machine-Level Programming

The following documents will help you fathom the depths of machine-level programming on x86-64 machines.

x86-64 Machine-Level Programming This document supplements Chapter 3 the textbook for 15-213 Computer Systems: A Programmer’s Perspective, 3rd edition, by Randal E. Bryant and David R. O’Hallaron.
GNU Assembler User Guide. This is version (2.15) available on the lab machines. Contains i386-specific features with notes on the difference between x86 and x86-64.
x86-64 Application Binary Interface (ABI) Specifies the rules for compilers and linkers.
Official Intel Processor Manuals (not for the faint of heart) including the Combined Set Reference.

IA32 and Reference Material

The following are for the older Intel x86 architectures. See the newer references above for the x86-64 (also known as IA32-EM64T).

Intel opcode table for IA32, two-page reference

LLVM

LLVM is a potential second target for the compiler for Lab 6.

LLVM Home Page
On-line demo (for producing LLVM source from C)

Garbage Collection

Writing a garbage collector for C0 is one of the interesting options for Lab 6.

Richard Jones’ Garbage Collection Page
Paul R. Wilson: Uniprocessor Garbage Collection Techniques, 67pp, 1994

Git

The distributed version-control system we use.

Implementation Languages

You are free to write your compilers in any language you choose. We strongly suggest choosing a statically typed language with algebraic data types and pattern matching. The course staff can provide support for the following languages: SML, OCaml, and Haskell. Students with sufficient background and motivation are welcome to choose other languages.

Standard ML

Standard ML of New Jersey (SML/NJ)
MLton, A highly optimizing, whole program compiler mostly compatible with SML/NJ
Poly/ML, Another high quality compiler

Standard ML Libraries and Documentation

OCaml

Haskell

Rust

Java

Java API
JLex: lexer generator
JFLex: lexer generator
CUP: LALR parser generator
ANTLR: lexer and LL parser generator