Lecture Material

• Introduction (slides)
• Ruby (slides, updated 2/5/13)
  • Lecture 2 - examples (zipfile)
  • Lecture 3 - examples (zipfile)
  • Lecture 4 - Regular expressions in Ruby (no particular code examples)
  • Lecture 5 - examples (zipfile)
  • Discussion
    • Sections 0202, 0204 - examples (week 1) and (week 2) (zipfiles)
    • Sections 0102, 1204 - examples (week 1) and (week 2) (zipfiles)
• Finite Automata (slides, updated 2/27 to add minor clarifications on slides 72 and 81)
  • Refresher on set notation
• Ruby on Rails - guest lecturer, Neil Spring (slides)
• Context free grammars (slides)
  • Example CFGs
• OCaml (slides updated 3/7)
  • Code samples
  • Discussion
    • Sections 0202, 0204 - examples, more examples
    • Sections 0102, 0104 - examples, more examples
• Operational semantics (slides)
• Objects vs. functions, and parameter passing (slides)
• Types and Binding/Names (slides) We didn't go over this in class but you are responsible for it
• Multithreading (slides updated 4/4/13)
  • ML implementation
  • Discussion (Sections 0102, 0104) - examples
• Logic programming (slides updated 4/24/13)
  • Code examples updated 4/24/13
  • opsem_2.pl -- an alternative of opsem.pl provided in the above examples, which allows more queries
  • Sections 0101, 0103, 0202, 0204 - PPT, examples
  • Sections 0102, 0104 - examples
• Lambda calculus (slides updated 4/26/13)
  • lambda.ml, Church encodings done in class
  • Sections 0101, 0103 - PPT
• Memory management and garbage collection (slides)
• History of Programming Languages (slides)
  • Growing a Language, 1998 Keynote talk by Guy Steele
  • Programming Language Inventor, or Serial Killer?

Projects

• Project 1: Mazes; due February 14 at 11:59:59pm
• Project 2: Regular expressions and automata; due February 28 at 11:59:59pm
• Project 3: OCaml programming; due March 28 at 11:59:59pm
• Project 4: Implementing multithreading primitives; due April 19 at 11:59:59pm
• Project 5: Prolog programming; due May 7 at 11:59:59pm

Sample code reviews

• Review 1
• Review 2

Exams

• Midterm 1: Questions, Answers
• Midterm 2: Questions, Answers (The annotation for Q6 might not be visible on all pdf readers. Try with Adobe Reader.)

• Midterm 1 topics
• Midterm 2 topics
• Final exam topics (includes all topics from midterms 1 and 2, plus more)

Quizzes

1. (questions) (answers) Ruby (Feb 8)
2. (questions) (answers) REs, finite automata, context free grammars (Mar 1)
3. (questions) (answers) OCaml (Mar 15)
4. (questions) (answers) Higher Order OCaml, Operational Semantics, Parameter passing (Apr 5)
5. (questions) (answers) Prolog (Apr 26)

Practice problems

1. (questions) (answers) Programming languages, Ruby language features
2. (questions) (answers) REs and finite automata
3. (questions) (answers) CFGs -- we did not cover parsing or pushdown automata; ignore questions 5, 6, and 7. Also, you don't need to know about leftmost vs. rightmost derivations.
4. (review) Operational Semantics, Parameter passing
5. (practice) OCaml and Operational Semantics
6. (practice) Prolog, Lambda Calculus