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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Information processing letters Ročník 180; s. 106329
Hlavný autor: Chen, Wei
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 01.02.2023
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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