Goto elimination in program algebra

DOI10.1016/J.SCICO.2008.07.002zbMath1178.68129OpenAlexW2116424707WikidataQ114850293 ScholiaQ114850293MaRDI QIDQ955712

Thuy Duong Vu

Publication date: 20 November 2008

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

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

zbMATH Keywords

PGArestructuringcobolgoto elimination

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Uses Software

• PVS
• Unnamed Item

This page was built for publication: Goto elimination in program algebra