To use or not to use the goto statement: programming styles viewed from Hoare Logic

DOI10.1016/J.SCICO.2005.05.003zbMath1101.68446OpenAlexW2049127009MaRDI QIDQ2492941

Kokichi Futatsugi, Hidetaka Kondoh

Publication date: 9 June 2006

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.05.003

zbMATH Keywords

Hoare logicstructured programmingfinite state modelingverification pattern

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99)

This page was built for publication: To use or not to use the goto statement: programming styles viewed from Hoare Logic