|
Feb 10, 2025
|
|
|
|
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
Add to Catalog (opens a new window)
|
|