Info.sjsu.edu

San José State University

Main Navigation

Shortcut Icons

Main Content

SJSU Catalog

info.sjsu.edu catalog image

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

loading