Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Reserved Books for CS 812 -Programing Language Semantics -Spring 2008

Summary: Reserved Books for CS 812 - Programing Language
Semantics - Spring 2008
John C. Reynolds
January 7, 2008
[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