22C111 Course Planned Schedule Spring 2008
Approximate Schedule
- Week 1:
- 23 January, course orientation.
- 25 January, Chapter 1 of the text.
- Week 2:
- 28 January, syntax (Chapter 2 of the text).
- 30 January, more Chapter 2.
31 January, finish Chapter 2. First Homework Assigned
- Week 3:
4 February, No Class
6 February, No Class
- 8 February, some topics scattered in several places throughout the textbook: syntax vs semantics, types of semantics; specification vs implementation; declarative specification vs other styles; composition vs refinement.
- Week 4:
- 11 February, The PROLOG language: syntax and computation model. Simple facts, how to execute programs.
13 February, Homework Due
- 15 February, The PROLOG language: relating facts; constraints; queries. Lists.
- Week 5:
- 18 February, The PROLOG language,
20 February, First Exam
22 February, Finish PROLOG, start functional languages. Second Homework Assigned
- Week 6:
- 25 February, The Haskell language.
- 27 February, Haskell
- 29 February (only once every four years)
- Week 7:
- 3 March, Haskell
- 5 March, Haskell
7 March, Third Homework Assigned
- Week 8:
- 10 March Haskell
- 12 March Haskell (midpoint of semester)
- 14 March Haskell
- Week 9:
17 March Spring Break
19 March Spring Break
21 March Spring Break
- Week 10:
- 24 March Haskell
26 March Second Exam
27 March Haskell Fourth Homework Assigned
- Week 11:
- 31 March Haskell
- 2 April Haskell
- 4 April Scripting Languages
- Week 12:
- 7 April Scripting (last day for dropping courses)
- 9 April Scripting
11 April Scripting Fifth Homework Assigned postponed
- Week 13:
- 14 April Scripting
- 16 April Scripting
- 18 April Scripting
- Week 14:
- 21 April Scripting
23 April Third Exam
- 25 April Runtime Infrastructure
- Week 15:
- 28 April Runtime Infrastructure
- 30 April Scoping
- 2 May Scoping
- Week 16:
- 5 May Concurrency
- 7 May Concurrency
- 9 May Semantics
- Finals Week
13 May 2:15pm Tuesday 13 May, Final Exam