CSE 230: Principles of Programming
Languages
Reading Assignments
The notes on readings are now
broken down by book and by chapter, instead of being in one huge file, and
there is a notes index page with links to each
individual page of notes. You can still go to the old large
file if you want to look at notes on future readings.
Notes: Assignments will normally be posted before the Monday of the
week when they are due, on that Thursday. Be sure to reload this page
frequently, because sometimes it may be updated frequently! Readings for more
than 5 days in advance are subject to change.
- Due 10 January:
- Due 17 January:
- Due 24 January:
- pp. 17-29 from Chapter 1 of Algebraic Semantics, and the
associated class notes.
- pp. 77-100, Chapter 3 of Stansifer (but you can skip 3.4.2); at the
moment there are no associated class notes.
- Propositional logic in OBJ.
- Due 31 January:
- pp. 29-43 from Chapter 1 of Algebraic Semantics, and the
associated class notes.
- pp. 105-136, Chapter 4 of Stansifer, and the associated class notes.
- Due 5 February:
- pp. 51-63, Chapter 2 of Algebraic Semantics (you can skim Section
2.1.1 for now), and the associated class notes.
- pp. 303-317, Chapter 9 of Stansifer and the associated class notes.
- Due 12 February:
- pp. 1-43, Chapters 1 and 2 of Elements of ML Programming and the
associated class notes.
- pp. 145-164, up to Section 5.4.8 in Chapter 5 of Stansifer, and the
associated class notes.
- Due 19 February:
- pp. 67-78, Chapter 3 of Algebraic Semantics, and the associated
class notes.
- pp. 79-89, Chapter 4 of Algebraic Semantics, and the associated
class notes.
- pp. 45-74, up to Section 3.3.7, in Chapter 3 of Elements of ML
Programming, and the associated class notes.
- Due 26 February:
- pp. 91-108, Chapter 5 (on Iteration) of Algebraic Semantics, and
the associated class notes.
- pp. 185-199, Appendix B of Algebraic Semantics (but you may skim
the proof of Theorem 34), and the associated class
notes.
- pp. 164-179, the rest of Chapter 5 of Stansifer, and the associated class notes; you may skim Section 5.6.4.
- pp. 77-99, the rest of Chapter 3 of Elements of ML Programming,
and the associated class notes; you may skim section
3.6.
- Due 5 March:
- pp. 187-208, Chapter 6 of Stansifer, and the class
notes.
- pp. 217-260, Chapter 7 of Stansifer; you may place less emphasis on
Section 7.7.1, you can skip 7.7.2, and skim Section 7.8 and the proofs in
Sections 7.2, 7.3.1 and 7.4.
- Lambda calculus in OBJ, and
the associated class notes.
- Optional: Combinators in OBJ.
- pp. 127-172, up to Section 5.5.2, in Chapter 5 of Elements of ML
Programming and the associated class notes.
- Due 12 March:
Some basics on using BinProlog 4.00 are at pl/binpro.html, which has a link to the BinProlog
4.00 manual.
To CSE 230 homepage
Maintained by Joseph Goguen
© 2000, 2001, 2002 Joseph Goguen
Last modified: Mon Mar 11 21:00:54 PST 2002