1.00

A systematic study of programming language design, analysis, and implementation. Relationships among languages, language properties and features, and formal notions of language semantics are considered. Major language paradigms (imperative, functional, object-oriented, logic programming, and others) are studied. Prerequisites: CS 270 and CS 220 or MATH 250 .