Weakest preconditioned goto axiom

This paper presents an axiom for goto statements in terms of Dijkstra's weakest (liberal) precondition model. We give a detailed comparison of our axiom with Arbib and Alagic's approach and argue that the latter is actually flawed even if it offers a goto axiom that has widely been cited a...

Full description

Saved in:

Bibliographic Details
Published in:	Information processing letters Vol. 180; p. 106329
Main Author:	Chen, Wei
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.02.2023
Subjects:	Formal semantics Goto axiom and proof rules Programming logic Weakest liberal precondition Weakest liberal precondition Programming logic Goto axiom and proof rules Formal semantics
ISSN:	0020-0190, 1872-6119
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	This paper presents an axiom for goto statements in terms of Dijkstra's weakest (liberal) precondition model. We give a detailed comparison of our axiom with Arbib and Alagic's approach and argue that the latter is actually flawed even if it offers a goto axiom that has widely been cited and adopted.
ISSN:	0020-0190 1872-6119
DOI:	10.1016/j.ipl.2022.106329