Apr 19, 2024  
2014-2015 Graduate Catalog 
    
2014-2015 Graduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.

CS 756 - Formal Semantics


Credits 3

Coverage of formal methods for defining the semantics of programming languages, including the operational, denotation and axiomatic approaches. Proof techniques for verifying properties of programs. Consistent and complementary definitions for a Pascal-like language discussed.

Prerequisites
CS 326 and