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

DOI10.1007/BF00288660MaRDI QIDQ1225928zbMATH OpenOpenAlexFDO

Authors E. A. Ashcroft, Tony Hoare, M. 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)

Cites work

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

Cited in

(3)

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

This page was built for publication: Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1225928)