Go to Main Content


Detailed Course Information


Spring 2014 Semester
Apr 19, 2014
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; restricted to students in the College of Computer and Information Science.
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:     
Must be enrolled in one of the following Colleges:     
      Coll of Computer & Info Sci

(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