Honors Programming Languages

G22.3110-001 Fall 2000


Michel Mauny

Course Description

In-depth examination of the four major categories of programming languages: imperative, object-oriented, functional, and logic languages. The specific languages covered include Ada, C++, LISP, ML, Prolog, and SETL. Fundamental issues of programming languages such as type systems, scoping, concurrency, modularization, control flow, and semantics will be discussed. Extensive programming exercises will be assigned.


To understand the fundamental issues in the design of programming languages, to become familiar with the different abstraction mechanisms offered by programming languages, with the notion of type system and program (formal) semantics.

Course Mailing List: click here!

Lectures: Monday, Wednesday, 3:30 - 4:45 p.m., Warren Weaver Hall , Room 101

Course Syllabus

Course material

If you have problems to view PostScript documents, read this.