CS 252 - Advanced Programming Language Principles

3 unit(s)
Language design and paradigms, including concepts underlying functional, logic, object-oriented and parallel paradigms. Theoretical foundations, including lambda calculus, denotational and axiomatic semantics. Proofs of program correctness. Programming projects emphasizing different aspects of language design.

Prerequisite(s): CS 152 and Graduate standing. Allowed Declared Major: Computer Science, Bioinformatics, Data Science. Or instructor consent.
Grading: Letter Graded

Class Schedule | Syllabus Information | University Bookstore