Apr 25, 2024  
2019-2020 Catalog 
    
2019-2020 Catalog [ARCHIVED CATALOG]

Add to My Favorites (opens a new window)

CS 551 - Advanced Programming Languages

Units: 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)