CS 552 - Programming Languages

4 credits
Formal definition of programming languages and parsing. Contrasts functional, object-oriented, imperative, and logic paradigms. Introduces automated program analysis techniques, including dataflow analysis. Prerequisite(s): CS 357 and either CS 418 or CS 518.
Graded (A-F) only.