Course Detail
Units:
3.0
Course Components:
Practicum
Enrollment Information
Enrollment Requirement:
Prerequisite: CS 3100 and 5510.
Description
Examination of the formal and pragmatic ideas behind programming language design. Imperative, functional, logic, object-oriented, and multi-paradigm languages. Lambda calculus, fixpoints, type systems, and predicate logic. Denotational semantics and models of concurrency.