Preview
Unable to display preview. Download preview PDF.
References
E.H. Tyugu, Data base and problem solver for computer aided design, "Information Processing 71", North Holland Publ. Co., Amsterdam, 1972, pp.
M.A. Männisalu et al., UTOPIST language. Data processing algorithms and management, "Statistika", Moscow, 1977, pp. 80–118 (Russian).
T.P. Plaks, Synthesis of parallel programs on computational models, "System programming and computer software", No. 4, 1977, pp. 55–63.
E.Z. Ljubimskij, Automatic programming and method of programming procedures. Dr. Phil. Thesis, Institute of Mathematics of the Acad. Sc. of the USSR, Moscow, 1958 (Russian).
I.B. Zadyhailo, Constructing loops from parametric specifications "Journal of computational mathematics and mathematical physics", v. 3, No. 2, 1963, pp.
N.N. Nepeivoda, Constructing correct programs, Problems of Cybernetics, vol. 46, Acad. of Sc. of the USSR, Moscow, 1978, pp. 88–122 (Russian).
E.H. Tyugu, A programming system with automatic program synthesis, Lecture Notes in Computer Science, v. 47, Methods of Algor. Lang. Implementation, Springer-Verlag, Berlin, 1977, pp. 251–267.
A.P.Kalja, M.B. Matskin, Intelligent dialogue with data bases, Proc. Soviet-Finnish Symposium on Interactive Systems, Part Tbilisi, 1979, pp. 124–136.
M.A. Jackson, Principles of program design, Acad. Press, London, N.Y., San Francisco, 1975.
D. Knuth, Semantics of context-free languages, Math. Syst. Theory, v. 2, No. 1, 1968, pp. 127–144.
J. Penjam, A method for automatic realization of semantics in compilers, Cybernetics, No. 2, 1980, pp.36–41
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tyugu, E.H. (1981). The structural synthesis of programs. In: Ershov, A.P., Knuth, D.E. (eds) Algorithms in Modern Mathematics and Computer Science. Lecture Notes in Computer Science, vol 122. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11157-3_31
Download citation
DOI: https://doi.org/10.1007/3-540-11157-3_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11157-3
Online ISBN: 978-3-540-38621-6
eBook Packages: Springer Book Archive