Graduate Catalog 2025-2026

COMP 5325 Programming Languages

Discussion of the central concepts of programming languages and how they are manipulated into languages that follow certain paradigms. Analysis of languages in light of their semantic models. Application of structural, denotational, and axiomatic operational semantics. Detailed study of the nucleus of the Standard ML language. Includes the development of programs in that language and in some other current language. Requires 30 hours of lecture and 15 hours of virtual lab.

Credits

3

Prerequisite

COMP 5110