Sep 25, 2020  
2019-2020 Undergraduate Catalog 
    
2019-2020 Undergraduate Catalog [ARCHIVED CATALOG]

CS 340 Programming Language Design

Fall Semester

This course examines the semantics of programming languages. Topics include formal specifications of syntax, declarations, binding, allocation, data structures, data types, control structures, control and data flow; the implementation and execution of programs; and functional programming versus imperative programming. This course will include substantial treatment of formal languages, automata, and theory of computation.  Other possible topics include nonprocedural and logic programming; object-oriented programming; and program verification. Prerequisite: CS 201  with a grade of 2.0 or higher.

3 credit hours