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


Share

COinS