CSE 230: Principles of Programming
Languages
Reading Assignments
Notes: Assignments will normally be posted before the Monday of the
week when they are due. 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. The notes to the texts are mainly intended
as supplements rather than as explanations or commentaries.
- Due 8 January:
- Pages v-ix and 1-24, the Preface and Chapter 1 of Sethi, plus the
associated notes.
- Essay on Comparative Programming
Linguistics.
- Pages 1-9, Chapter 0 of Algebraic Semantics, and the associated
notes. Note: Much of this may be unclear at this
time, but it will become clear, and I hope interesting, after you have read
more of the book!
- Optional: Scan the Black-Scholes in
Multiple Languages website, which gives the Black-Scholes options
pricing formula expressed in many different programming languages. This is
mainly for amusement, but it can also give you a good feeling for the
diversity of programming languages. (Black and Scholes won the Nobel prize
in economics for this formula.)
- Due 15 January:
- Due 22 January:
- Pages 55-80 in Chapter 3 of Sethi and the associated notes.
- Pages 17-21 from Chapter 1, and pages 51-55 from Chapter 2 (up to but
not including section 2.1.1), of Algebraic Semantics, and the
associated notes for chapter 1 and chapter 2.
- Due 29 January:
- Chapter 4 of Sethi, pages 101-146, and the associated notes.
- Pages 22-32 from Chapter 1 and pages 55-65 from Chapter 2 (but only
skim section 2.1.1), of Algebraic Semantics, and the associated
notes for chapter 1 and chapter
2.
- Due 5 February:
- Chapter 3 of Algebraic Semantics, pages 67-78 and the
associated notes.
- Pages 147-171 of Chapter 5 of Sethi and the associated notes.
- Reread the notes on Chapter 4 of Sethi; I've added
a bit.
- Due 12 February:
- The rest of Chapter 5 of Sethi, pages 172-203, and the associated notes.
- Pages 79-89, Chapter 4 of Algebraic Semantics, and the
associated notes.
- Pages 32-40 from Chapter 1 of Algebraic Semantics, and the
associated notes.
- Due 19 February:
- Pages 80-100 in Chapter 3 of Sethi and the associated notes.
- Pages 62-67 of Stansifer (handed out in class) and the associated notes.
- Propositional logic in OBJ.
- Pages 40-50 from Chapter 1 of Algebraic Semantics, and the
associated notes; please at least skim all the
problems at the end of the chapter. Please re-read the notes on Chapter 4 of Algebraic Semantics, as I have
updated them.
- Pages 205-208, and pages 209-228 in Chapter 6 of Sethi, and the
associated notes. (Sorry, these notes are still
just a sketch.)
- Due 26 February:
- Pages 91-108, Chapter 5 (on Iteration) of Algebraic Semantics,
and the associated notes.
- Pages 185-199, Appendix B of Algebraic Semantics (but you may
skim the proof of Theorem 34), and the associated
notes.
- The rest of Chapter 6 of Sethi, pages 228-252, and the associated notes.
- Due 5 March:
- Please re-read the notes on Appendix B of
Algebraic Semantics; they have been augmented.
- Please re-read the notes on Chapter 6 of Sethi;
they have been augmented.
- Chapter 11 of Sethi, pages 425-473, and the associated notes.
- Read the OBJ3 spec for unification;
this is a high level description of the algorithm and its data structures
that is still executable; this and the homework problem on this code should
help you to understand the algorithm more deeply than is usually possible
in a course like this.
- 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, 2003 Joseph Goguen
Last modified: Thu Mar 6 14:20:18 PST 2003