Home Page

CIS 720 - Spring 97
COMPUTATION AND COMPLEXITY
AT HIGHER TYPES

Instructor: Jim Royer
Office: CST 3-004
Email: royer@top.cis.syr.edu

The course concerns

One of the long-term goals of this work is build the mathematical tools for specifying and reasoning about the performance (e.g., run time) of software systems built from modules, classes and the like. This work is in its very early stages, so the course will focus on basics.
  • The list of papers
  • The course outline
  • PREREQUISITES CIS 623 or its equivalent. Some knowledge of either recursion theory, computational complexity theory, category theory, programming language semantics, or proof theory is strongly advised.
  • TIME: TT 1:00-2:20.
  • PLACE: SciTech 1-232.
  • REF. NUMBER: 06762.