CS 5310 Programming Languages 3.0 Credits
This course introduces the design and implementation of programming languages including syntax and semantics. It covers programming paradigms and abstractions with an emphasis on functional programming, including the use of types to capture program invariants, reasoning about programs, and the exploration of program semantics through various interpreters.
Repeat Status: Not repeatable for credit
Prerequisites: (CS 5010 [Min Grade: D] or CS 501 [Min Grade: D]) and (CS 5020 [Min Grade: D] or CS 503 [Min Grade: D]) and (CS 5030 [Min Grade: D] or CS 502 [Min Grade: D])