Close Menu

CS 536 - Science of Programming

Course Description: 

Formal specification of how programs execute operational semantics , how mathematical functions programs compute denotational semantics , and how to use logic to characterize properties and invariants of the program execution (axiomatic semantics).

Credit: 

(3-0-3)

Prerequisite: 

[(CS 331 with min. grade of C) OR (CS 401 with min. grade of C)]

Corequisite: 

None

Attachments: