Colgate University Computer Science Department

An exploration of the principles by which high-level programs and their data structures are analyzed and mapped into corresponding low-level implementations and representations. Topics include regular expressions and symbol tables for lexical analysis; attribute grammars and tree manipulations for syntactic/semantic analysis; continuations; unification-based inference of data types; and graph-theoretic algorithms for program optimization. The required credit-bearing laboratory COSC 425L must be taken concurrently with COSC 425.

Prerequisites: COSC 303 and 304, or permission of instructor.

COSC Course Offerings for Spring 2008