Weakest preconditioned goto axiom

DOI10.1016/J.IPL.2022.106329OpenAlexW4297322776WikidataQ114666857 ScholiaQ114666857MaRDI QIDQ2680222

Yanyan Li

Publication date: 30 January 2023

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2022.106329

zbMATH Keywords

formal semanticsweakest liberal preconditionprogramming logicgoto axiom and proof rules

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Goto statements: Semantics and deduction systems
• Proof rules for the programming language Euclid
• Program proving: KJumps and functions
• A critique of the foundations of Hoare style programming logics
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Weakest preconditioned goto axiom