CS558 Programming Languages Winter 2010

Instructor: Andrew Tolmach

TA: Dan Brown (brownda -at- cs.pdx.edu)

• Office hour: Monday 1-2pm in the CS "Fishbowl"

Course Information

• Syllabus
• Schedule (Updated 2/9/10 12:45pm)
• Course Mailing List

Exams

• Sample midterm questions from previous years

Lecture Notes and Supporting Code

• Introduction 1/4/10 (pdf) (4up pdf)
• Scheme 1/6/10 (lecture by Garrett Morris) (Scheme source)
• Syntax: Concrete and Abstract 1/11/10 (pdf) (4up pdf)
• Expressions; Identifiers; Binding 1/13/10 (Scheme source)
• Functions 1/20/10 (Scheme source)
• First-class functions 1/20/10 (Scheme source)
• Imperative programming 1/25/10 (pdf) (4up pdf)
• Axiomatic semantics 1/27/10 (pdf) (4up pdf)
• Stateful data structures 2/8/10 (Scheme source) (UPDATED 2/8/10 7:10pm)
• Garbage collection 2/10/10 (pdf) (4up pdf)
• Recursion 2/15/10 (pdf) (4up pdf)
• Continuation-passing interpreters 2/17/10 (Scheme source lecture12.ss)
• Types 2/22/10 (pdf) (4up pdf)
• Type inference and polymorphism 2/24/10 (pdf) (4up pdf) (UPDATED 3/7/10 12:10pm)
• Abstract data types 3/3/10 (pdf) (4up pdf)
• Object-oriented programming 3/8/10 (pdf) (4up pdf)

Dr Scheme on PSU CS Systems

• For the CS Unix (Solaris) lab, do addpkg drscheme and then execute drscheme.
• For the CS linux lab, do addpkg drscheme and then execute drscheme4.2.
• On either system, the first time you use the plai language environment, it may need to be downloaded from the PLT Planet central server, which might take a minute or so.

Homework Assignments

• Homework 1 (due 1/11/10) (pdf)
  • Sample solutions
• Homework 2 (due 1/20/10) (pdf) (UPDATED 1/15/09 10:20pm)
  • Supporting code hw2.ss
  • Sample solutions sol2.hs
• Homework 3 (due 1/25/10) (pdf) (UPDATED 1/20/09 6:10pm)
  • Supporting code hw3.ss
  • Sample solutions sol3.ss
• Homework 4 (due 2/1/10) (pdf)
  • Supporting code for problem 1 hw4-1.ss
  • Supporting code for problem 2 hw4-2.ss
  • Sample solutions Problem 1 sol4-1.ss Problem 2 sol4-2.ss Problem 3 sol4-3.txt
• Homework 5 (due 2/17/10) (pdf)
  • Sample solutions Problem 1 sol5-1.ss Problem 2 sol5-2.ss Problem 3 sol5-3.ss Problem 4 sol5-4.ss
• Homework 6 (due 2/24/10) (pdf)
  • Supporting code for problem 1 hw6-1.java
  • Sample solutions Problem 1 sol6-1.java Problem 2 sol6-2.ss Problem 3 sol6-3.ss
• Homework 7 (due 3/3/10) (pdf)
  • Supporting code hw7.ss
  • Sample solution sol7.ss
• Homework 8 (due 3/10/10) (pdf)
• Sample solutions Problem 1 sol8-1.java Alternative Problem 1 sol8-1-alt.java Problem 2 sol8-2.ss Problem 3 sol8-3.ssTests sol8-tests.ss

Textbook and Scheme Resources

• The textbook, Shriram Krishnamurthi's Programming Languages: Application and Interpreation is available on-line or as a printed book.
• The PLT Scheme website has everything about that system, including downloads and documentation, including in particular the Guide:PLT Scheme.
• The introductory Scheme text How to Design Programs is also available on-line or as a printed book (from MIT Press).
• The PLAI language environment is documented here.

Additional Readings

• C.A.R. Hoare, An Axiomatic Basis for Computer Programming, CACM, 12(10) Oct. 1969.
• C.A.R. Hoare, Hints on Programming Language Design, Stanford University Technical Report STAN-CS-73-403, Dec. 1973.
• Guy Steele, Growing a Language, Proc. OOPSLA Conference, 1998.