Advertisement

The Unification of Three Calculi

  • Edsger W. Dijkstra
Part of the NATO ASI Series book series (NATO ASI F, volume 118)

Abstract

The purpose of this note is to show how much the predicate calculus, the relational calculus, and the regularity calculus have in common, or, more precisely, how much commonality we can design into them. Because the predicate calculus will emerge as a subcalculus of the other two calculi, we discuss the predicate calculus first.

Keywords

Boolean Function Logical Operator Predicate Calculus Golden Rule Proof Obligation 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Tarski, On the calculus of relations, Journal of Symbolic Logic 6, 3 (1941) 73 - 89MathSciNetCrossRefGoogle Scholar
  2. Jaap van der Woude, Calculations with Relations, an Example.In Beauty is our Busines, eds.Google Scholar
  3. W.H.J. Feijen, A.J.M. van Gasteren, D. Cries, J. Misra. Springer-Verlag, 1990, pp. 435 - 441Google Scholar
  4. C.A.R. Hoare and He Jifeng, Fundamenta Informaticae 9: pp.51-84, 217 - 252, 1986Google Scholar
  5. W.H.J. Feijen and A.J.M. van Gasteren An Introduction to the Relational Calculus in C.S. Scholten Dedicata: Van oude machines en nieuwe rekenwijzen, eds. W.H.J. Feijen and A.J.M. van Gasteren, Academic Service, 1991, pp. 57 - 81Google Scholar
  6. Edsger W. Dijkstra and Carel S. Scholten, Predicate Calculus and Program Semantics, Springer-Verlag, 1990Google Scholar
  7. Roland C. Backhouse et al., A Relational Theory of Datatypes, December 13, 1990, Department of Mathematics and Computing Science, Eindhoven University of Technology, The NetherlandsGoogle Scholar
  8. Rutger M. Dijkstra, Private Communications This note has been specially written for the 1992 International Summer School in Marktoberdorf, Germany.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Edsger W. Dijkstra
    • 1
  1. 1.Department of Computer SciencesThe University of Texas at AustinAustinUSA

Personalised recommendations