Sign In
 

 CSE 630: Semantics Of Programming Languages

​Course Information

Designation:   Required Course

Course Level:   Graduate

Prerequisites

Prerequisite(s) by Topic: 

ICS 511 or Consent of the Instructor

Catalog Description: 

Formal methods for the description of programming languages. Operational, axiomatic and denotational semantics, attribute grammar, two-level grammars. Fixed-point theory of computation. Verification techniques.​