Summary: Reserved Books for CS 812 ­ Programing Language
Semantics ­ Spring 2008
John C. Reynolds
January 7, 2008
References
[1] Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation
of Computer Programs. MIT Press, Cambridge, Massachusetts, 1985.
[2] Gregory R. Andrews. Concurrent Programming. Benjamin/Cummings, Redwood City,
California, 1991.
[3] Krzysztof R. Apt and E.­R. Olderog. Verification of Sequential and Concurrent Pro­
grams. Springer­Verlag, New York, 1991.
[4] Hendrik Pieter Barendregt. The Lambda Calculus, Its Syntax and Semantics, volume
103 of Studies in Logic and the Foundations of Mathematics. North­Holland, Amster­
dam, revised edition, 1984.
[5] Richard J. Bird and Philip Wadler. Introduction to Functional Programming. Prentice­
Hall International, Hemel Hempstead, England, 1988.
[6] Per Brinch Hansen, editor. The Origin of Concurrent Programming. Springer­Verlag,
New York, 2002.
[7] K. Mani Chandy and Jayadev Misra. Parallel Program Design. Addison­Wesley, Read­
ing, Massachusetts, 1988.

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics