Please note: the 2020-2021 Academic Year Catalog for SJSU will be available on April 28, 2020 at catalog.sjsu.edu.
Advanced Programming Language Principles
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: CS 152 or instructor consent.
Normal Grade Rules