Compiler2

Programming Languages

and Compilers

The Structure of a Compiler, Lexical Analyzer, LEX, Design of Lex, Top down Parsing, LL(1) arsers, Bootom up Parsing, YACC, LR parsers, Syntax Directed Translation, Types and Type Checking, Run-Time Storage Administration and Symbol Table Management, Intermediate Code and Code Generation, Data-Flow Analysis, Code Optimizations, Architcure and recent development on compilers Modern Compiler Design

Class	Topic	Lecture slides (pdf)
1	Course Intro and Introduction to OCaml	Slides[PDF][OCaml Code]
2	OCaml - tuples and lists	Slides[PDF]
3	OCaml - type definitions, abstract syntax	Slides[PDF]
4	Language implementation overview	Slides[PDF]
5	Lexical analysis	Slides[PDF]
6	Regular expressions, Ocamllex	Slides[PDF]
7	Parsing - context-free grammars, recursive descent parsing	Slides[PDF]Code [ZIP]
8	Top-down parsing	Slides[PDF]Example answers[TXT]
9	Bottom-up (shift/reduce) parsing	Slides[PDF]
10	LR parsing - conflict resolution	Slides[PDF] LR Theorem[PDF]
11	Code generation	Slides[PDF]
12	More code generation	Slides[PDF]
13	Garbage collection, runtime systems	Slides[PDF]
	Midterm Review	Slides[PDF]
	MIDTERM (11:30-12:45, location: 1304 SC)
14	History of programming languages	Slides[PDF]
15	APL	Slides[PDF] APL Reference[PDF]
16	Functional programming: higher-order functions	Slides[PDF]
17	More higher-order functions	Slides[PDF]
18	Even more higher-order functions	Slides[PDF]
19	Functional programming in OO languages	Slides[PDF]
20	Inference systems; formalizing operational semantics	Slides[PDF]
21	Type semantics	Slides[PDF]Examples[PDF]
22	Operational semantics	Slides[PDF]Examples[PDF]Handout[PDF]
23	Hoare logic for imperative languages	Slides[PDF]
24	More Hoare logic	Slides[PDF]
25	Advanced topics: lazy evaluation, lambda-calculus	Slides[PDF]
26	Advanced topics: functional programming for parallelism	Slides[PDF]
	Final Review	Slides[PDF]
27	Advanced topics: ActorNet	Slides[PDF]