CSCE 550 - Principles of Programming Languages

Credit Hours: 3
Lecture Contact Hours: 3 Lab Contact Hours: 0

Formal definitions and theory of programming languages. Specifying, verifying and reasoning about programs. Language processors (interpreters, type-checkers, translators) in a formal framework.

Prerequisite(s): CMPS 450G or permission of instructor required