CMSC 731 - Semantics of Programming Languages

Credits: [3]

Description: The fundamentals of axiomatic and denotational semantics, their corresponding techniques for program specification and verification. Axiomatic methods include Hoare’s logic and Dijkstra’s predicate transformers. Denotational methods include fixpoint theory and an introduction to the lambda calculus. Denotational methods are used to prove the soundness of selected axiomatic proof rules.
Course ID: 053057
Prerequisite: Prerequisite: CMSC 631 or consent of instructor.
Components: Lecture
Grading Method: A-F, Pass/Fail, Audit