Analysis and synthesis of structured parallel programs

DOI10.1007/BF01068969zbMath0493.68020MaRDI QIDQ3956376

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

Publication date: 1981

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

structured programmingformalization of parallel computationslanguage multiprocessorssynchronous and asynchronous multiprocessors

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (3)

Multilevel synthesis of structured programs ⋮ Semantics of algorithmic languages ⋮ Structured programming in symbolic multiprocessing

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Methods of definition of programming language semantics. (Review)
• General context-free recognition in less than cubic time
• 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
• Information structurization of programs
• Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions
• Theory of language processors and parallel computations

This page was built for publication: Analysis and synthesis of structured parallel programs