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

Calendar | Challenges | Lectures | Manifests | Problem Sets | Projects | Resources | Syllabus

Recommended Books

This page lists some books CS655 students may find useful.
Harold Abelson and Gerald Jay Sussman. Structure and Interpretation of Computer Programs.
"The Wizard Book" - this book is required and will be used heavily in the first half of the course.
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.


CS 655 University of Virginia
Department of Computer Science
CS 655: Programming Languages
David Evans
evans@cs.virginia.edu