CS 340 Programming Language Design

Fall

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