The structural synthesis of programs

  • E. H. Tyugu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 122)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    E.H. Tyugu, Data base and problem solver for computer aided design, "Information Processing 71", North Holland Publ. Co., Amsterdam, 1972, pp.Google Scholar
  2. 2.
    M.A. Männisalu et al., UTOPIST language. Data processing algorithms and management, "Statistika", Moscow, 1977, pp. 80–118 (Russian).Google Scholar
  3. 3.
    T.P. Plaks, Synthesis of parallel programs on computational models, "System programming and computer software", No. 4, 1977, pp. 55–63.Google Scholar
  4. 4.
    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).Google Scholar
  5. 5.
    I.B. Zadyhailo, Constructing loops from parametric specifications "Journal of computational mathematics and mathematical physics", v. 3, No. 2, 1963, pp.Google Scholar
  6. 6.
    N.N. Nepeivoda, Constructing correct programs, Problems of Cybernetics, vol. 46, Acad. of Sc. of the USSR, Moscow, 1978, pp. 88–122 (Russian).Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    A.P.Kalja, M.B. Matskin, Intelligent dialogue with data bases, Proc. Soviet-Finnish Symposium on Interactive Systems, Part Tbilisi, 1979, pp. 124–136.Google Scholar
  9. 9.
    M.A. Jackson, Principles of program design, Acad. Press, London, N.Y., San Francisco, 1975.Google Scholar
  10. 10.
    D. Knuth, Semantics of context-free languages, Math. Syst. Theory, v. 2, No. 1, 1968, pp. 127–144.CrossRefGoogle Scholar
  11. 11.
    J. Penjam, A method for automatic realization of semantics in compilers, Cybernetics, No. 2, 1980, pp.36–41Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • E. H. Tyugu
    • 1
  1. 1.Institute of CyberneticsTallinnUSSR

Personalised recommendations