Course Number:

CS G264

Credit Hours:	4
Course Title:	Semantics of Programming Language
Course Description:	Studies mathematical models for the behavior of programming languages. Topics include operational, denotational, and equational specifications; Lambda-calculi and their properties; applications of these techniques, such as rapid prototyping and correctness of program optimizations.

Fall Offering:			Lab/Coreq 1:
Spring Offering:			Lab/Coreq 2:
Summer Offering:			Lab/Coreq Remarks:
Summer 1 Offering:			Prerequisite 1:	CS G111 and
Summer 2 Offering:			Prerequisite 2:	CS G711
Cross-Listed Course 1:			Prerequisite 3:
Cross-Listed Course 2:			Prerequisite 4:
Cross-Listed Course 3:			Prerequisite 5:
Cross-Listed Course 4:			Prereq Remarks:	And knowledge of discrete mathematics.
Cross-Listed Course 5:			Repeatable:	N
Additional Information: