|
Dec 26, 2024
|
|
|
|
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
|
|