CSE 452

Organization of Programming Languages

Fall 2008

 

Schedule of topics and assignments. 

 

This schedule is subject to change, but should always be accurate for at least one week in advance of the current date.  Reading assignments are noted in the cell for each day.   `Mitchell` refers to your textbook (by J. C.Mitchell).   The topics link to the overheads. 

 

Note: Exam #1 and exam #2 are now on the Tuesdays of weeks 5 and 10 (instead of Thursday, as indicated on the draft schedule in the syllabus).  Because of this, they will cover all material through the Tuesday before the exam (not the Thursday before, as indicated on the syllabus).

Readings for Eiffel are from the tutorial by B. Meyer.

 

Download EiffelStudio 6.2 GPL.

In-class exercises

Solutions to some questions in HW#6

 

Week

Tuesday

Thursday

Assignments

#1:    Aug 25-29

Course logistics, intro (4up)& computability (4up)

Mitchell 1 & 2

Intro to language implementation (4up)

Missing slides (6up)

Mitchell 4.1

 

#2:    Sep 1-5

Intro to  lambda calculus  (6up)

Chpt 4.2

Functional & imperative languages (6up)

Chpt 4.3

HW #1 (due 9-Sep)

#3:    Sep 8-12

ML:basics (6up)

Mitchell 5

ML: basics (cont.) (6up), ML examples

Mitchell 5

HW #2 (due 16-Sep)

#4:    Sep 15-19

ML: types and polymorphism, type inference(6up)

Mitchell 6

Types, etc. (contined)

Mitchell 7

 HW #3 (due 25-Sep)

#5:    Sep 22-26

Stacks & scope (4up)

Mitchell 7

Scope for HO functions(4up)

Mitchell  7

 

#6:    Sep 29-Oct 3

Exam 1

Scope for HO functions(4up)

Mitchell 7

HW #4 (due 9 Oct)

 

#7:    Oct 6-10

Structured control & exceptions (4up)

Mitchell 8

Continuations, Force & delay(4up)

Mitchell 8

 

#8:    Oct  13-17

Garbage collection(6up)

Mitchell 3.4

Questions on exam #1

HW #5(due Oct 21) delay.ml

 

#9:    Oct 20-24

Modularity & data abstraction (4up)

Mitchell 9

Object-oriented languages (4up) /Eiffel (6up)

Mitchell 10/Meyer 1-3

Download  EiffelStudio. Try it out. (nothing to hand in)

#10: Oct 27-31

Eiffel: basics

Meyer 4-6

Eiffel: genericity (4up)

Meyer 7

 Hw #6 (due Nov 6)

#11: Nov 3-7

Design by Contract

Meyer 8

Subtyping, inheritance (4up)

Meyer 9/Mitchell 11.7, 12

   

#12: Nov 10-14

Exam 2

multiple inheritance

 

#13: Nov 17-21

Covariance and CAT problems

Meyer 10

Exceptions in Eiffel (4up) / Dynamic binding

Meyer 8/ Mitchell 12

Hw #7 (Eiffel program) (due Dec 2) Grading and handin information

 Mini-homework 
(due Nov 25)

#14: Nov 24-28

Dynamic binding (4up)

 

NO CLASS

 

#15: Dec 1-5

Once & conversion

Meyer 11

Review

 

Dec 8,
12:40-2:45 p.m.

 

FINAL EXAM