Goto statements: Semantics and deduction systems

DOI10.1007/BF00264536zbMath0445.68005OpenAlexW2006807875MaRDI QIDQ1145492

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

operational semanticscompletenessdenotational semanticssoundnesspartial correctnessgoto statementscontinuation semanticsHoare-like deduction systems

Mathematics Subject Classification ID

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

Related Items

A compositional natural semantics and Hoare logic for low-level languages, Weakest preconditioned goto axiom, Proof theory for exception handling in a tasking environment, Precision and the Conjunction Rule in Concurrent Separation Logic