CSC 302 - Programming Language Concepts

4 credits (Spring)

Description and analysis of key issues in the design, syntax, semantics, and implementation of programming languages, with examples from several high-level languages, illustrating important paradigms (functional, object-oriented, imperative, declarative). Additional topics may include denotational semantics, type-inference algorithms, program verification, and the lambda calculus.

Prerequisite: CSC 207. Prerequisite or co-requisite: Completion of or concurrent registration in MAT 218, CSC 208 or MAT 208
Note: Plus-2 option available. Not offered every year.
Instructor: J. Stone, Rebelsky