MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction

Recommended Books

  1. Samson Abramsky and Achim Jung. Domain theory. In Handbook of Logic in Computer Science (vol. 3): Semantic Structures, pages 1?168. Oxford University Press, Oxford, UK, 1994.
  2. Roland C. Backhouse. Program construction and verification. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1986.
  3. Henk P. Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, second, revised edition, 1984.
  4. Henk P. Barendregt. Lambda calculi with types. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 2, pages 117?309. Oxford University Press, 1992.
  5. Yves Bertot and Pierre Casteran. Interactive Theorem Proving and Program Development. Springer Verlag, 2004.
  6. Richard Bird and Oege de Moor. Algebra of Programming. Prentice Hall, 1997.
  7. Jean-Yves Girard, Yves Lafont, and Paul Taylor. Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989. (online version)
  8. M. Hennessy. The Semantics of Programming Languages. Wiley, 1990.
  9. H. R. Nielson and F. Nielson. Semantics with Applications : A Formal Introduction. Wiley, 1992. (online version)
  10. Glynn Winskel. The Formal Semantics of Programming Languages: An introduction. Foundations of Computing. The MIT Press, Cambridge, Massachusetts, 1993.
  11. Jean Goubault-Larrecq and Ian Mackie. Proof Theory and Automated Deduction. Kluwer Academic Press, 1997.

r3 - 03 Nov 2008 - 22:21:05 - NelmaMoreira?
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM