CSCI 342 Principles of Programming Languages

This course introduces programming language design and analysis. Formal syntax, data types, storage models, control structures, biding occurrences, procedural abstraction, definition structures, concurrent processes, and formal semantics are considered. Examples include Ada, Pascal, LISP, Prolog and C++.