An axiomatic definition of the programming language PASCAL

  • C. A. R. Hoare
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Floyd, R.W. — Assigning Meanings to Programs. Proc. Amer. Math. Soc. Symposium in Applied Mathematics. Vol. 19, 19–31.Google Scholar
  2. [2]
    Wirth, N. — The Programming Language PASCAL. Acta Informatica I 1. (1971), 35–63.Google Scholar
  3. [3]
    Hoare, C.A.R. — An Axiomatic Approach to Computer Programming. Commun. ACM. 12, 10 (October 1969), 576–580, 583.Google Scholar
  4. [4]
    Hoare, C.A.R. — Procedures and Parameters; an Axiomatic Approach. Symposium on Semantics of Algorithmic Languages. Ed. E. Engeler, Springer-Verlag, 1970. 102–115.Google Scholar
  5. [5]
    Clint, M. & Hoare, C.A.R. — Jumps and Functions: an Axiomatic Approach. Acta Informatica (to appear).Google Scholar
  6. [6]
    Hoare, C.A.R. — Notes on Data Structuring (to appear).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • C. A. R. Hoare

There are no affiliations available

Personalised recommendations