CS558 Programming Languages Fall 2023

Instructor: Andrew Tolmach

Email: tolmach@pdx.edu
Office Hours: Th 1-2pm (FAB 120-23) or by appointment (in person or on zoom)

Teaching Assistant: Katherine Philip

Email: kphilip@pdx.edu
Office Hours: M 11am-1pm in CS Fishbowl

Course Information

Live meeting room: Cramer Hall 382.
Syllabus
WebLab CS558 course entry page (see enrollment instructions in syllabus)
Slack channel (monitored by instructor and TA) Note: the first time you use this link, it will take you to the general page for the pdx-cs workspace; you need to sign in to access the cs558-specific channel.
Post-midterm one-on-one Zoom Meetings Sign-up sheet

Exams

Midterm will cover all material presented in lectures 1a,1b,2a,2b,3a,3b,4a, in required reading through Oct. 17, or in labs 1-4.
Midterm will be conducted in class on Thursday, Oct. 26. You may bring a single one-sided 8.5x11 sheet of handwritten notes. Otherwise, the exam is closed-book, closed-notes. No computers or other electronic devices are allowed.
Practice midterm questions and sample solutions.
Final may cover any material covered in lecture, required reading, or labs. But it will focus primarily on material presented in lectures 4b,4c,6a,6b,7a,7b,8a,9a,10a, in required reading from Oct. 19 onwards, and on labs due from Nov. 7 onwards.
Practice final questions [updated Nov. 30 8:05pm] and sample solutions.
Nov. 30 class will be a review session. Email instructor with suggestions for topics to cover.
Final will be conducted in the usual classroom on Tuesday, Dec. 5 from 5:30-7:20pm. You may bring a single one-sided 8.5x11 sheet of handwritten notes. Otherwise, the exam is closed-book, closed-notes. No computers or other electronic devices are allowed.

Schedule

Subject to change!

Date	Lab Due	Reading	Lecture Topics	Self-study
Sep 26		Scott 1	Introduction; High-level vs. low-level languages; Stack machines (pdf) (recording)	questions answers
Sep 28		Scott 2.1,6.1	Concrete and abstract syntax; Grammars; Expressions (pdf) (recording)	questions answers
Oct 3	Lab 1	Scott 6.2-5	Imperative languages; Structured programming (pdf) (recording) (additional lecture covering slides 19 onwards)	questions answers
Oct 5		Gordon, pp. 7-27	Semantics; Axiomatic semantics (pdf) (recording)	questions answers
Oct 10	Lab 2	Scott 3.1-3,3.5	Binding; Scope (pdf) (recording) [slides for lecture 3a are not shared properly, but you can follow along using the pdf]	questions answers
Oct 12		(none)	Memory; Large values; Equality (pdf) (recording)	questions answers
Oct 17	Lab 3	Winskel 2.1-5	Operational Semantics (pdf) (recording)	questions answers
Oct 19		Scott 9.1-3, 6.6	Procedures and the stack; Calling Conventions (pdf) (recording)	questions answers
Oct 24	Lab 4	(sample midterm questions)	Review for Midterm (recording)	questions answers
Oct 26			Midterm Exam -- in class
Oct 31		(none)	Calling Conventions [continued]; Recursion (pdf) (recording)	questions answers
Nov 2		Scott 3.6-7, Scott 11	Functional programming; First-class functions (pdf) [updated Nov 6 @ 2pm] (recording)	questions answers
Nov 7	Lab 5	(none)	Closures; Continuations (pdf) (recording)	questions answers
Nov 9		Scott 7	Type systems; Type checking; Type equivalence (pdf) (recording) (additional lecture coversing slides 16 onwards)	questions answers
Nov 14	Lab 6	(none)	Polymorphism; Type inference (pdf) (handout with slide 8 method details) (recording)	questions answers
Nov 16		Scott 8	Composite types (pdf) (recording) TypesInHaskell.hs TypesInHaskell_with_solutions.hs	questions answers
Nov 21	Lab 7	(none)	Modules; Abstract data types (pdf) (recording)	(no study questions)
Nov 23			Thankgiving Holiday - no class
Nov 28		Scott 10	Object-oriented languages (pdf) (recording)	questions answers
Nov 30	Lab 8	(sample final questions)	Review and catch-up (recording)	questions [updated Nov. 30 8:05pm] answers
Dec 5			Final exam 5:30-7:20 pm

Books

Required: Michael L. Scott, Programming Language Pragmatics, 4th ed., Morgan Kaufmann 2016.
- We will cover much, but not all, of this book. See the schedule for details of which chapters and sections you should read, and by when.
- Author's errata page.
- Companion site containing the additional content referenced in the "In More Depth" sections of the book.
Strongly Recommended: Odersky, Spoon, and Venners, Programming in Scala, 1st edition. (Or you can buy a later edition.)

Additional Required Reading

For Oct 5: Mike Gordon, Background reading on Hoare Logic, pp. 7-27 (i.e. up through Section 2.1.8).
For Oct 17: Glynn Winskel, Sections 2.1-5 of "The Formal Semantics of Programming Languages," MIT Press, 1994.

Scala Language Resources

We will be using Scala 2.12 in the labs for this course. The latest version of Scala 2 is 2.13; this will probably also work OK, but it is safest to stick to 2.12 to make sure programs behave the same way for everyone. Scala 3 is a significantly different language, which you should not try to use for this course.

Recommended book Programming in Scala (1st edition) by Odersky, Spoon, and Venners. (Although this is a bit out of date with respect to current versions of the language, it should be sufficient for this course.)
Scala 2.12 is automatically used inside WebLab.
Scala is available on the CS linuxlab machines as scala (interactive interpreter) or scalac (compiler). By default, you'll get version 2.11.6, but version 2.12.3 is available by using addpkg.
Official Scala website and documentation
Version 2.12.18 can be downloaded from here
Version 2.12.18 Scala Library API documentation
Our Scala SExprLibrary code for interpreter exercises. (Useful if you want to do development outside WebLab.)