References
Dijkstra, E.W.D. 1975. Guarded Commands, Non-determinacy and Formal Derivation of Programs. CACM 18, 8. pp 453–457.
Dijkstra, E.W.D. 1976. A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N.J., 217 pp.
Greif, I. and Meyer, A.R. Specifying Programming Language Semantics: A Tutorial and Critique of a Paper by Hoare and Lauer, December, 1978, submitted for publication.
Hoare, C.A.R. and Wirth, N. 1973. An Axiomatic Definition of the Programming Language PASCAL. Acta Informatica 2, pp 335–355.
Schwartz, J.S. 1974. Semantics of Partial Correctness Formalisms. Ph.D. Thesis, Syracuse University. Syracuse, N.Y. 126pp.
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Greif, I., Meyer, A.R. (1979). Can partial correctness assertions specify programming language semantics?. In: Weihrauch, K. (eds) Theoretical Computer Science 4th GI Conference. Lecture Notes in Computer Science, vol 67. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09118-1_3
Download citation
DOI: https://doi.org/10.1007/3-540-09118-1_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09118-9
Online ISBN: 978-3-540-35517-5
eBook Packages: Springer Book Archive