Theory of Programming Languages (CS510)

Principles of functional, imperative and object-oriented programming languages; elements of language theory; the typed-l ? calculus, functional languages, stack implementation of recursion; imperative languages, block structure, more on stack allocation model; user-defined types, heap storage model; object-oriented languages, data abstraction, genericity, polymorphism, inheritance. Case studies may include Algol, Pascal, Ada, LISP, Scheme, Smalltalk, Java, C++. Prerequisite: Graduates: CS 590 and MA 502.