References
Clint, M., Hoare, C. A. R.: Program proving: Jumps and functions. Acta Informatica 1, 214–224 (1972)
Dijkstra, E. W.: Guarded commands, nondeterminacy, and formal derivation of programs. Comm. ACM 18, 453–457 (1975)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ashcroft, E.A., Clint, M. & Hoare, C.A.R. Remarks on “program proving: Jumps and functions by M. Clint and C. A. R. Hoare”. Acta Informatica 6, 317–318 (1976). https://doi.org/10.1007/BF00288660
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00288660