Concepts for structuring data, computation, and whole programs. Object-oriented languages, functional languages, logic- and rule-based languages. Data types, type checking, exception handling, concurrent processes, synchronization, modularity, encapsulation, interfaces, separate compilation, inheritance, polymorphism, dynamic binding, subtyping, overloading, beta-reduction, unification.

Usually Offered:	Spring Not offered in 2002-03
Credit:	3 hours (class)
Prerequisite:	CS 352
University Catalog:	CS 456
Schedule:	Fall 2003 Instructor: Jan Vitek
Syllabi:	Canonical