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 In 2007-08, Fall instead of Spring
Credit:	3 hours (class)
Prerequisite:	CS 352
University Catalog:	CS 456