CSE 505: Concepts of Programming Languages

Autumn 2001

In 505 we'll cover the functional, object-oriented, and logic/constraint programming language families, and formal semantics. The goals of the course are: to understand the major concepts in programming languages, to gain some experience using advanced features of modern programming languages, to learn the basics of formal semantics as a tool for understanding and describing language semantics precisely, to learn about current open problems and active research areas in the design of modern programming languages, and to understand trade-offs in language design.

General Information and Handouts

Class Schedule

Class Topics

First-day Topics

Constraint Logic Programming

Functional Programming

Formal Semantics

Object-Oriented Programming

Assignments and Sample Solutions

Exams

Class Project

Class mailing list

Previous offerings of 505

Other programming language resources

Portions of the CSE 505 Web may be reprinted or adapted for academic nonprofit purposes, provided the source is accurately quoted and duly credited. The CSE 505 Web: Copyright 2001, Department of Computer Science and Engineering, University of Washington.