Courses
CS 164. Programming Languages and Compilers
Current Schedule (Spring 2013)
- CS 164: Ras Bodik, TT 9:30-11:00A, 306 Soda [course homepage]
Description
Catalog Description: (4 units) Survey of programming languages. The design of modern programming languages. Principles and techniques of scanning, parsing, semantic analysis, code generation, and run-time systems. Implementation of compilers, interpreters, and assemblers. Overview of run-time organization and error handling.
Prerequisites: CS 61B and CS 61C.
Course objectives: Understanding of programming language design and implementation. Practical experience in the construction of language processors (interpreters, compilers).
Topics covered:
- Lexical Analysis
- Finite Automata
- Parsing
- Ambiguity and errors
- Top-down parsing
- Bottom-up parsing
- LR Parsing
- Semantic Analysis
- Type Checking
- Cool type checking
- Runtime organization
- Simple code generation
- Object oriented code generation
- Local optimization
- Global optimization
- Garbage collection
- Higher-order type systems
- Parametric Polymorphism
- Language-based security