Formal aspects of structured programming with goto statements

MaRDI QIDQ800711zbMATH OpenFDO

Authors G. E. Tsejtlin

Publication date 1984

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

structured programmingalgorithmic algebrasgoto statementslogical program schemataregular schemataunstructured contructsYanov schemata

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The Algorithmic Transformation of Schemas to Structured Form
• An algebraic approach to schemes of structured programs
• Eliminating go to's while preserving program structure
• scientific article; zbMATH DE number 46687
• The Hierarchy of Program Control Structures

Cited in

(5)

• The Hierarchy of Program Control Structures
• scientific article; zbMATH DE number 3909712 (Why is no real title available?)
• The Algorithmic Transformation of Schemas to Structured Form
• Issues of algorithmics and Glushkov's systems of algorithmic algebras
• Restructuring Pascal Programs Containing Goto Statements

This page was built for publication: Formal aspects of structured programming with goto statements

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