Theory of Program Translation

This course provides a formal treatment of programming language translation and compiler design concepts. Emphasis will be placed on theoretical aspects of parsing, target machine specifications, optimization, machine independent code, and automatic verification. Other topics will include translation of process synchronization primitives and distributed program development systems.