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

DOI10.1016/J.SCICO.2005.05.003MaRDI QIDQ2492941zbMATH OpenOpenAlexFDO

Authors Hidetaka Kondoh, Kokichi Futatsugi

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

finite state modelingHoare logicstructured programmingverification pattern

Mathematics Subject Classification ID

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

Recommendations

• Goto elimination in program algebra
• Restructuring Pascal Programs Containing Goto Statements
• Eliminating go to's while preserving program structure
• scientific article; zbMATH DE number 3854395
• scientific article; zbMATH DE number 3965407

Cited in

(1)

• Goto elimination in program algebra

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2492941)