Go to Main Content

SCT WWW Information System



Detailed Course Information


Spring 2013 Semester
Dec 01, 2015
Transparent Image
Information Select the desired Level or Schedule Type to find available classes for the course.

CS 6412 - Semantics of Programming Language
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. Prereq. (a) CS 5400 or CS 7400 and (b) knowledge of discrete mathematics.
4.000 Credit hours
4.000 Lecture hours

Levels: Graduate
Schedule Types: Lecture

Computer Science Department

Course Attributes:
GSCS Computer & Info Science

Must be enrolled in one of the following Levels:     

(Graduate level CS 5400 Minimum Grade of C- or Undergraduate level CS 5400 Minimum Grade of D-) or Graduate level CS 7400 Minimum Grade of C-

Return to Previous New Search
Transparent Image
Skip to top of page
Release: 8.5.4