The formal study of programming language design and specification. Design principles are emphasized and evaluated in the context of the historical development of computing languages. Topics include design principles, study of actual languages, the run-time environment, translation, and programming in various programming languages and paradigms. Prerequisite: CS 345. (Fall 2021)
Offered in alternate years