CMSC 631 - Principles of Programming Languages

Credits: [3]

Description: 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.
Course ID: 053000
Prerequisite: Prerequisite: CMSC 331 or consent of instructor.
Components: Lecture
Grading Method: A-F, Pass/Fail, Audit