CS 360
Winter 2016
Programming Language Concepts
CS 360-001 Tuesday/Thursday 15:30-16:50 (Rush 014)
CS 360-002 Tuesday/Thursday 14:00-15:20 (Rush 014)
CS 360-003 Tuesday 18:30-21:20 (University Crossings 153)

Instructor:
Geoffrey Mainland
mainland+cs360@drexel.edu
Office: University Crossings 106
Office hours: Mondays 3pm–5pm; Thursdays 5pm–6pm.
Teaching Assistants:
Pavan Kantharaju
Matthew Roll
Warning! This material is for an old version of the course.

The final will cover material from the entire course. However, the midterm covered material up to but not including Prolog (the second lecture of week 5), so you can expect that the final exam will focus on material not covered by the midterm.

You may be asked to write some small functions in Scheme and/or Haskell. You will not lose points for minor syntactic errors.

You may bring a single, hand-written, two-sided, 8.5” x 11” sheet of notes to the exam. This sheet must have your name on it, and it will be collected with your exam.

The midterm study guide accurately describes what you need to know from the first half of the course for the final exam. Additionally, I suggest you focus on the following aspects of the second half of the course:

  1. Lambda calculus. Know the syntactic structure of the lambda calculus and understand how to evaluate lambda calculus terms. Understand the different ways in which one could define an operational semantics for the lambda calculus.

  2. Prolog. Understand Prolog’s execution model.

  3. Nondeterministic Finite Automata. Understand how to simulate an NFA and know how to convert a regular expression into an NFA.

  4. Know what it means for a value to be a fixed point of a function.

  5. Denotational semantics. Understand how to construct and use a denotational semantics for a simple language.

  6. Operational semantics. Understand how to construct and use an operational semantics for a simple language.

  7. Axiomatic semantics. Understand how to define soundness and completeness of a logical system. These are properties of a logical system relative to a semantics.

  8. Monads. Understand the monad abstraction and how return and (>>=) (“bind”) work.

  9. Understand the difference between lexing and parsing. Understand why regular expressions are used for lexing and context-free grammars are used for parsing.

  10. Understand why CFGs are more powerful than regular expressions.

  11. Understand how to eliminate left recursion in a grammar and how to left factor a grammar.

  12. Understand First, Follow, and Nullable.

  13. Be able to write a simple recursive-descent parser.