everything.study
CSI 4125

Theory of Programming Languages

3 units

Winter 2008

Topics

  • Grammars and Scheme
  • Scope and binding
  • Data abstraction and datatypes
  • Interpreters
  • Conditionals and local bindings
  • Procedures and recursion
  • Assignment and parameter passing
  • Operational and denotational semantics
  • Classes and inheritance
  • Continuations and exceptions
  • Logic programming
  • Nondeterminism and parallelism
  • Axiomatic semantics

Readings

  • Essentials of Programming Languages
    Daniel P. Friedman; Mitchell Wand; Christopher T. Haynes · 2nd (2001) · Required
  • Supplementary photocopied notes
  • http://www.cs.indiana.edu/eopl/
  • http://download.plt-scheme.org/doc/209/html/t-y-scheme/index.htm
  • http://www.scheme.com/tspl3/
Sources