Mar 28, 2024  
2020-2021 Catalog 
    
2020-2021 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. 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 .



Add to My Favorites (opens a new window)