Jun 18, 2024  
Graduate Record 2005-2006 
Graduate Record 2005-2006 [ARCHIVED RECORD]

CS 655 - Programming Languages

Examines modern and non-imperative languages, the theoretical techniques used to design and understand them, and the implementation techniques used to make them run. Topics include functional languages, object-oriented languages, language safety and classification of errors, type systems, formal semantics, abstraction mechanisms, memory management, and unusual control-flow mechanisms. Example languages include Standard ML, Modula-3, CLU, Scheme, Prolog, and Icon. (Y)

Prerequisites & Notes
Prerequisite: CS 415 or equivalent.

Credits: 3