CS 551

Advanced Programming Languages

California State University San Marcos · UGRD · Fall 2026

1 section
Add to a schedule

Catalog description

Formal syntax of programming languages such as Backus-Naur form and its variations, attribute grammars, two-level grammars, formal semantics of programming languages, including operational semantics, denotational semantics, and axiomatic semantics. A core course in the Computer Science M.S. program. Undergraduates must obtain consent of instructor to enroll. Enrollment Requirement(s): for graduate students CS 351 and CS 421 . Prerequisite(s): for undergraduates CS 351 and CS 421 . Prerequisite(s)/Corequisite(s): CS 421 .

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified
Class #california_san_marcos-0736Fall 2026UGRD3 credits
Days & times
No scheduled meeting time
Meeting dates
Location
Instructor
Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?