Info.sjsu.edu


Please note: the 2020-2021 Academic Year Catalog for SJSU will be available on April 28, 2020 at catalog.sjsu.edu.

Index:  ABCDEFGHIJKLMNOPQRSTUVWXYZ   Search Keyword

CS 252

Advanced Programming Language Principles

Description
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.

Grading
Normal Grade Rules

Units
3