Certain problems of the theory of structured program schemes

DOI10.1016/0020-0190(78)90011-XzbMath0392.68008MaRDI QIDQ1251891

V. M. Glushkov, E. L. Yushchenko, G. E. Tseytlin

Publication date: 1978

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Algorithmic AlgebrasStructured AlgorithmsStructured Program Schemes

Mathematics Subject Classification ID

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

Related Items (4)

Algebraic-grammatical models of parallel computation ⋮ Multilevel synthesis of structured programs ⋮ Certain problems of the theory of structured program schemes ⋮ Analysis and synthesis of structured parallel programs

Cites Work

• Certain problems of the theory of structured program schemes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Certain problems of the theory of structured program schemes