University of Virginia, Department of Computer Science
CS655: Programming Languages
Spring 2000

Recommended Books

This page lists some books we think CS655 students may find useful. None of these are required.
Harold Abelson and Gerald Jay Sussman. Structure and Interpretation of Computer Programs.
"The Wizard Book" - best introductory computer science book.
Alfred Aho, Ravi Sethi and Jeffrey Ullman. Compilers: Principles, Techniques, and Tools.
"The Dragon Book" - every reputable computer scientist should have this book.
Raphael Finkel. Advanced Programming Language Design
A well (but unusually) organized text. The complete text is available for free online reading.
Bruce Maclellan. Principles of Programming Languages: Design, Evaluation, and Implementation.
A good survey of programming languages, focused around design principles.
Glynn Winskel. The Formal Semantics of Programming Languages : An Introduction.
If Gifford's notes on formal semantics seem impenatrable, try this book instead.

University of Virginia CS 655: Programming Languages
Last modified: Mon Feb 26 12:48:29 2001