Go to Main Content
 

HELP | EXIT

Detailed Course Information

 

Spring 2013 Semester
Apr 21, 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.
4.000 Credit hours
4.000 Lecture hours

Levels: Graduate
Schedule Types: Lecture

Computer Science Department

Course Attributes:
GSCS Computer & Info Science

Restrictions:
Must be enrolled in one of the following Levels:     
      Graduate

Prerequisites:
(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