CS655: Programming Languages, Spring 2001
Recommended BooksThis 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 DesignA 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
Department of Computer Science
CS 655: Programming Languages