Stony Brook University Logo Computer Science
CSE 637 Back to Advanced Courses

Course CSE637
Title Program Semantics and Verification

Formal approaches to defining semantics of programming languages: denotational, operational, axiomatic, and transformational semantics. Formal systems for program verification. Logics of program, type theory, lambda calculus. Further topics selected from term rewriting approach to proving properties of data types, and semantics and verification of languages with concurrent and parallel constructs.

Prerequisite CSE 541
Credit Information 3 - credits
Course Goals  
Course Webpage
[an error occurred while processing this directive]