CS 3310 Programming Language Concepts 3.0 Credits
This course covers principles of programming languages including abstract syntax, variable binding and scope, formal semantics, lambda calculus, and type systems. Topics are explored through both programming exercises and formal proofs. Students implement an interpreter for a non-trivial language.
Repeat Status: Not repeatable for credit
Prerequisites: (CS 2110 [Min Grade: D] or CS 260 [Min Grade: D]) and (MATH 2401 [Min Grade: D] or MATH 201 [Min Grade: D])