Mar 28, 2024  
2017-2018 Graduate Catalog 
    
2017-2018 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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.



Add to Portfolio (opens a new window)