|
Mar 28, 2024
|
|
|
|
2020-2021 University Catalog [ARCHIVED CATALOG]
|
CS 56500 - Programming Languages Credit Hours: 3.00. An exploration of modern or unconventional concepts of programming languages, their semantics, and their implementations; abstract data types; axiomatic semantics using Hoare’s logic and Dijkstra’s predicate transformers; denotational semantics; functional, object-oriented, and logic programming; concurrency and Owicki-Gries theory. Example languages include ML, Ada, Oberon, LISP, PROLOG, and CSP. Typically offered Spring.Credits: 3.00
|
|