Can partial correctness assertions specify programming language semantics?

  • Irene Greif
  • Albert R. Meyer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 67)


  1. Dijkstra, E.W.D. 1975. Guarded Commands, Non-determinacy and Formal Derivation of Programs. CACM 18, 8. pp 453–457.Google Scholar
  2. Dijkstra, E.W.D. 1976. A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N.J., 217 pp.Google Scholar
  3. 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.Google Scholar
  4. Hoare, C.A.R. and Wirth, N. 1973. An Axiomatic Definition of the Programming Language PASCAL. Acta Informatica 2, pp 335–355.CrossRefGoogle Scholar
  5. Schwartz, J.S. 1974. Semantics of Partial Correctness Formalisms. Ph.D. Thesis, Syracuse University. Syracuse, N.Y. 126pp.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Irene Greif
  • Albert R. Meyer

There are no affiliations available

Personalised recommendations