Compilers Design PDF

Compilers Design PDF

Programming Languages

and Compilers

Download :

Class	Topic	Lecture slides (pdf)
1	Introduction to course; intro to OCaml	lecture 1 (ann) ,lecture1.ml
2	Ocaml - tuples and lists	lecture 2(lecture 2 (ann)) (Supplementary notes for lecture 2)
3	OCaml - type definitions, abstract syntax	lecture 3(lecture 3 (ann))
4	Language implementation overview	lecture 4 (v. 2)(supplementary notes)
5	Lexical analysis	lecture 5(lecture 5 with annotations from today and 2/6)
6	Regular expressions, Ocamllex	lecture 6(lecture 6 annotated)
7	Parsing - context-free grammars, recursive descent parsing	lecture 7(lecture 7 ann) (Code from lecture: 1, 2, 3,1b, 2b, 3b, 3c)
8	Top-down parsing	lecture 8 (ann)(lecture 8 addendum)
9	Bottom-up (shift/reduce) parsing	lecture 9(lecture 9 ann)
10	LR parsing - conflict resolution	lecture 10(lecture 10 ann) (supplement to lecture 10) (The LR theorem)
	Review for midterm 1 (optional)	Review questions(solutions)
	Midterm 1 - 180 Bevier Hall, 7-8:30PM	exam solution
11	Code generation	lecture 11
12	Code generation (cont.)	lecture 12(lecture 12 ann)
13	Garbage collection; run-time systems for dynamic languages	lecture 13 (6up)
14	History of programming languages	lecture 14(lecture 14 ann)
15	APL	lecture 15(lecture 15 ann)
16	Functional programming: higher-order functions	lecture 16 (ann)
17	More higher-order functions	lecture 17(lecture 17 ann) (supp. notes on dynamic scope)
	Spring break
18	Even more higher-order functions	lecture 18(lecture 18 ann)
19	Functional programming in o-o languages	lecture 19
20	Review for midterm 2 (optional)	sample questions(solutions) (12:30 review notes) (2:00 review notes)
	Midterm 2 - 151 Everitt Lab, 7-8:30PM	Midterm solutions
21	Inference systems; formalizing operational semantics	lecture 21(lecture 21 ann)
22	Type systems	lecture 22 (ignore pages 18-22) (proof trees for examples)
23	Operational semantics	lecture 23 (2-up) (6-up) (Two examples) (handout) (yet another example)
24	Hoare logic for imperative languages	lecture 24(lecture 24 ann)
25	Hoare logic for imperative languages	lecture 25 (ann), fibonacci number example
26	Advanced topics: Lazy evaluation; lambda-calculus	lecture 26(lecture 26 ann)
27	Advanced topics: functional programming for parallelism	lecture 27
28	Wrap-up; review for final; preview of follow-up courses	For review:sp08-final.pdf(solution) - see below. And Spring 08 sample questions(solutions) - see below. And slides fromvideotaped problem session