May 14, 2024  
2017-2018 University Catalog 
    
2017-2018 University Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 541 - Programming Language Semantics (4)


Operational, denotational and axiomatic semantics of programming languages. Vienna definition language, w-grammars, LISP definition.

Prerequisite(s): CS 408  or consent of instructor.
Component(s): 4 lectures/problem-solving.



Add to Portfolio (opens a new window)