CMSC 631 - Principles of Programming Languages

[3]

A comparison of three types of modern programming languages: assertive, functional and logic-based. Fundamental semantic methods, including operational, axiomatic and denotational semantics, and corresponding techniques for program verification, including Hoare’s logic, Dijkstra’s predicate transformers and denotational methods.
Prerequisite: Prerequisite: CMSC 331 or consent of instructor.