CSCE 550 - Principles of Programming Languages

3 Credit(s). 0 Hour(s) Lab. 3 Hour(s) Lecture.

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

Prereq: CMPS 450(G) or permission of instructor required