Multilevel synthesis of structured programs

DOI10.1007/BF01068735zbMath0554.68004MaRDI QIDQ3217580

G. E. Tsejtlin, E. L. Yushchenko

Publication date: 1983

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

program schemesalgorithmic algebrasmultilevel structured program designabstract memory types

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Certain problems of the theory of structured program schemes
• Selection of digitivity of numbers in the transmission of data concerning the probabilistic characteristics of a process
• THE ABSTRACT THEORY OF AUTOMATA
• Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems
• Multilayer syntactic analysis of parallel programming systems
• Analysis and synthesis of structured parallel programs
• Abstraction mechanisms in CLU
• Programmed Grammars and Classes of Formal Languages
• Theory of language processors and parallel computations

This page was built for publication: Multilevel synthesis of structured programs