Summary: CS 263. Design of Programming Languages
Mart'in Abadi
Digital Equipment Corporation
Systems Research Center
Spring 1997
Time: MF 10:30­12:00
Location: Soda Hall room 405
Course Description
This is a graduate­level course on the design and analysis of programming
languages. The course covers some basic notions that are relevant to a
wide range of languages, like parameter­passing mechanisms, higher­order
functions, type soundness, and formal semantics. The main emphasis of
the course is on object­oriented languages and their features; in particular,
we will consider objects, dynamic dispatch, object types, subtyping, classes,
and inheritance.
The course is not a tour of programming languages, although we will
discuss several languages. The course is not a step­by­step tutorial on how
to design your own language, either; however, it should help you in this
respect.
Prerequisites

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

Collections: Computer Technologies and Information Sciences