Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare

DOI10.1007/BF00288660zbMath0326.68011OpenAlexW2023441400MaRDI QIDQ1225928

C. A. R. Hoare, E. A. Ashcroft, Maurice Clint

Publication date: 1976

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00288660

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Hierarchical program specification and verification - a many-sorted logical approach ⋮ Continuations in possible-world semantics ⋮ A complete axiomatic semantics of spawning

Cites Work

• Program proving: KJumps and functions
• Guarded commands, nondeterminacy and formal derivation of programs