Termination Conventions and Comparative Semantics

  • Eric C. R. Hehner
  • Andrew J. Malton
Conference paper
Part of the NATO ASI Series book series (volume 36)

Summary

The notion of termination is examined, first for its physical observability, then for its part in six semantic formalisms, with emphasis on predicative semantics.

Keywords

Explosive Havoc 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [0]
    E.W. Dijkstra: A Discipline of Programming. Prentice-Hall, Engelwood Cliffs N.J. (1976)MATHGoogle Scholar
  2. [1]
    E.C.R. Hehner: Predicative Programming, Comm.ACM 27,2. pp. 134–151, February 1984MathSciNetMATHCrossRefGoogle Scholar
  3. [2]
    E.C.R. Hehner, L.E. Gupta, A.J. Malton: Predicative Methodology, Acta Informatica (to appear)Google Scholar
  4. [3]
    C.B. Jones: Systematic Software Development using VDM. Prentice-Hall Int., London (1986)MATHGoogle Scholar
  5. [4]
    D.L. Parnas: A generalized control structure and its formal definition. CACM 26, 8 pp.572–581, August. 1983MATHGoogle Scholar
  6. [5]
    W.A. Robison: private communicationGoogle Scholar
  7. [6]
    B. von Stengel: private communicationGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Eric C. R. Hehner
    • 1
  • Andrew J. Malton
    • 1
  1. 1.University of TorontoCanada

Personalised recommendations