An exposure to important concepts and issues in contemporary programming languages. Data types, abstraction, and polymorphism. Program structure. Lambda calculus and functional programming, logic programming, object-oriented programming. Semantics of programming languages. Critical comparison of language features and programming methodologies using examples drawn from a variety of programming languages including Lisp, Prolog, ML, Ada, Smalltalk, Icon, APL, and Lucid. Programming assignments involve the use of some of these languages. [Note: Lab is not scheduled and students are expected to find time in open hours to complete their work. Offered: W] Prereq: (CS 240 or SE 240) and (CS 245 or SE 112/212); Computer Science students only
