• Krzysztof R. Apt
  • Ernst-Rüdiger Olderog
Part of the Texts and Monographs in Computer Science book series (MCS)


In this chapter we explain the notation used throughout this book and some necessary elementary notions from mathematical logic.


Proof System High Type Proper State Simple Variable Boolean Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bak80]
    J.W. de Bakker. Mathematical Theory of Program Correctness. Prentice-Hall International, Englewood Cliffs, NJ, 1980.zbMATHGoogle Scholar
  2. [Car90]
    L. Cardelli. Typeful programming In E.J. Neuhold and M. Paul, editors, State of the Art Book: Formal Description of Programming Concepts, New York, 1990. Springer-Verlag. To appear.Google Scholar
  3. [DS90]
    E.W. Dijkstra and C.S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, New York, 1990.zbMATHCrossRefGoogle Scholar
  4. [End72]
    H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.Google Scholar
  5. [Gir89]
    Y. Girard. Proofs and Types. Cambridge University Press, Cambridge, Great Britain, 1989.Google Scholar
  6. [Ha185]
    P.R. Halmos. I Want to be a Mathematician: An Automatography. Springer-Verlag, New York, 1985.CrossRefGoogle Scholar
  7. [KL73]
    P. Kandzia and H. Langmaack. Informatik: Programmierung. Teubner, Stuttgart, 1973.zbMATHGoogle Scholar
  8. [Men79]
    E. Mendelson. Introduction to Mathematical Logic. van Nostrand, Princeton, second edition, 1979.Google Scholar
  9. [Mit90]
    J.C. Mitchell. Type systems in programming languages. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 365–458, Amsterdam, 1990. Elsevier.Google Scholar
  10. [TZ88]
    J.V. Tucker and J.I. Zucker. Program Correctness over Abstract Data Types, with Error-State Semantics. North-Holland and CWI Monographs, Amsterdam, 1988.Google Scholar

Copyright information

© Springer Science+Business Media New York 1991

Authors and Affiliations

  • Krzysztof R. Apt
    • 1
  • Ernst-Rüdiger Olderog
    • 2
  1. 1.CWIAmsterdamThe Netherlands
  2. 2.Department of Computer ScienceUniversity of OldenburgOldenburgGermany

Personalised recommendations