Preview
Unable to display preview. Download preview PDF.
References
Floyd, R.W. — Assigning Meanings to Programs. Proc. Amer. Math. Soc. Symposium in Applied Mathematics. Vol. 19, 19–31.
Wirth, N. — The Programming Language PASCAL. Acta Informatica I 1. (1971), 35–63.
Hoare, C.A.R. — An Axiomatic Approach to Computer Programming. Commun. ACM. 12, 10 (October 1969), 576–580, 583.
Hoare, C.A.R. — Procedures and Parameters; an Axiomatic Approach. Symposium on Semantics of Algorithmic Languages. Ed. E. Engeler, Springer-Verlag, 1970. 102–115.
Clint, M. & Hoare, C.A.R. — Jumps and Functions: an Axiomatic Approach. Acta Informatica (to appear).
Hoare, C.A.R. — Notes on Data Structuring (to appear).
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoare, C.A.R. (1974). An axiomatic definition of the programming language PASCAL. In: Ershov, A., Nepomniaschy, V. (eds) International Symposium on Theoretical Programming. Lecture Notes in Computer Science, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06720-5_1
Download citation
DOI: https://doi.org/10.1007/3-540-06720-5_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06720-7
Online ISBN: 978-3-540-38012-2
eBook Packages: Springer Book Archive