Apr 19, 2024  
2017-2018 Graduate Catalog 
    
2017-2018 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