Goto statements: Semantics and deduction systems

DOI10.1007/BF00264536MaRDI QIDQ1145492zbMATH OpenOpenAlexFDO

Authors Arie de Bruin

Publication date 1981

Published in Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

completenessdenotational semanticspartial correctnesssoundnessoperational semanticsgoto statementscontinuation semanticsHoare-like deduction systems

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(4)

• Precision and the conjunction rule in concurrent separation logic
• A compositional natural semantics and Hoare logic for low-level languages
• Weakest preconditioned goto axiom
• Proof theory for exception handling in a tasking environment

This page was built for publication: Goto statements: Semantics and deduction systems

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