Analysis and synthesis of structured parallel programs

DOI10.1007/BF01068969MaRDI QIDQ3956376zbMATH OpenFDO

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

Publication date 1981

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01068969

zbMATH Keywords

formalization of parallel computationslanguage multiprocessorsstructured programmingsynchronous and asynchronous multiprocessors

Mathematics Subject Classification ID

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

Cites work

• Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions
• Certain problems of the theory of structured program schemes
• General context-free recognition in less than cubic time
• scientific article; zbMATH DE number 3782356 (Why is no real title available?)
• scientific article; zbMATH DE number 3471979 (Why is no real title available?)
• scientific article; zbMATH DE number 3558938 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3421895 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• Information structurization of programs
• Methods of definition of programming language semantics. (Review)
• Selection of digitivity of numbers in the transmission of data concerning the probabilistic characteristics of a process
• Theory of language processors and parallel computations

Cited in

(3)

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

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

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