CS 510 Programming Language Theory

CS 510 Programming Language Theory (3 cr)

Advanced topics in programming language theory including formal syntax, formal semantics, denotational semantics, and type theory; principles of programming language design are stressed; not a comparative language class. Cooperative: open to WSU degree-seeking students.

Coreq: CS 385 or Equivalent