Apr 28, 2024  
2018-19 CATALOG 
    
2018-19 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)