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. 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