Document Type
Syllabus
Description
This course introduces concepts related to the specification and design of high-level programming languages. It discusses different programming paradigms, algebraic specification and implementation of data types, and develops interpreters for specifying operationally the various programming language features/constructs. It also introduces attribute grammar formalism and axiomatic semantics briefly. The programming assignments will be coded in Scheme using Racket IDE.
Publication Date
Spring 2012
College
College of Engineering and Computer Science
Department
Computer Science
Course Number
CS 784
