Formal aspects of structured programming with goto statements

zbMath0551.68007MaRDI QIDQ800711

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

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

Related Items (1)

Issues of algorithmics and Glushkov's systems of algorithmic algebras

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