Multilevel synthesis of structured programs

DOI10.1007/BF01068735MaRDI QIDQ3217580zbMATH OpenFDO

Authors E. L. Yushchenko, G. E. Tsejtlin

Publication date 1983

Published in Cybernetics (Search for Journal in Brave)

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

zbMATH Keywords

abstract memory typesalgorithmic algebrasmultilevel structured program designprogram schemes

Mathematics Subject Classification ID

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

Recommendations

• On multilevel structured program design for process-control systems
• Structured programming in symbolic multiprocessing
• Multilevel structured program designs and correctness proving
• scientific article; zbMATH DE number 3934387
• Structural synthesis of parallel programs (methodology and tools)

Cites work

• Abstraction mechanisms in CLU
• Analysis and synthesis of structured parallel programs
• Certain problems of the theory of structured program schemes
• scientific article; zbMATH DE number 3885289 (Why is no real title available?)
• scientific article; zbMATH DE number 3782356 (Why is no real title available?)
• scientific article; zbMATH DE number 3503141 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3609146 (Why is no real title available?)
• scientific article; zbMATH DE number 3624789 (Why is no real title available?)
• scientific article; zbMATH DE number 3365234 (Why is no real title available?)
• Multilayer syntactic analysis of parallel programming systems
• Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems
• Programmed Grammars and Classes of Formal Languages
• Selection of digitivity of numbers in the transmission of data concerning the probabilistic characteristics of a process
• THE ABSTRACT THEORY OF AUTOMATA
• Theory of language processors and parallel computations

Cited in

(4)

• On multilevel structured program design for process-control systems
• Multilevel structured program designs and correctness proving
• Syntactically correct multilevel structured program design
• Use of the method of formalized technical assignments for the program designs for processing data structures

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

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