Termination Conventions and Comparative Semantics

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


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


Unstable State Semantic Formalism Proof Theory Predicate Transformer Termination Convention 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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