CIS705 Course Schedule

Weeks 1 and 2

• background and programming-language paradigms
• review of grammars, parsers, and interpreter construction
• the C-machine model (NBLM Sec. 1)
• Assignment 1
• I must attend a conference on Tuesday, January 24, so there is no class that day.

Weeks 3 and 4

• NBLM, Section 2: a core object language, its machine model, a namespace-based metalanguage, and a semantics in the metalanguage
• NBLM, Section 3: Tennent's abstraction, parameterization, and qualification principles
• Assignment 2

Weeks 5 and 6

• NBLM, Section 4: Subclasses, mix-ins, method override
• Assignment 3

Weeks 7 and 8

• Domain-specific languages
• Project (assignment 4)
• An Introduction to Programming-Language Semantics

Week 9

• background on Lambda Calculus
• encoding arithmetic and imperative programs in lambda calculus
• Chapter on Lambda Calculus
• Assignment 5

Weeks 10 and 11

• An introduction to Milner's CCS
• CCS notes
• Exercise 6
• Model Checking: A Tutorial Introduction
• Model checking and the mu-calculus

Week 12

• Introduction to computability