CSCI 342 Principles of Programming Languages
Introductory programming language design and analysis. Formal syntax, data types, storage models, control structures, biding occurrences, procedural abstraction, definition structures, concurrent processes, and formal semantics. Examples include Ada, Pascal, LISP, Prolog and C++.