|
Jan 15, 2025
|
|
|
|
CS 551 - Advanced Programming LanguagesUnits: 3 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.
Prerequisite(s): For undergraduates and enrollment requirement for graduate students: CS 351 and CS 421 . Prerequisite(s)/Corequisite(s): CS 421 .
Add to My Favorites (opens a new window)
|
|