Skip to main content
SpringerLink
Log in
Book cover

Algorithms in Modern Mathematics and Computer Science pp 290–303Cite as

The structural synthesis of programs

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 122))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. M.A. Männisalu et al., UTOPIST language. Data processing algorithms and management, "Statistika", Moscow, 1977, pp. 80–118 (Russian).

    Google Scholar 

  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. 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. I.B. Zadyhailo, Constructing loops from parametric specifications "Journal of computational mathematics and mathematical physics", v. 3, No. 2, 1963, pp.

    Google Scholar 

  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. 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. 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. M.A. Jackson, Principles of program design, Acad. Press, London, N.Y., San Francisco, 1975.

    Google Scholar 

  10. D. Knuth, Semantics of context-free languages, Math. Syst. Theory, v. 2, No. 1, 1968, pp. 127–144.

    Article  Google Scholar 

  11. J. Penjam, A method for automatic realization of semantics in compilers, Cybernetics, No. 2, 1980, pp.36–41

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Cybernetics, 10 Lenin Ave, 200104, Tallinn, USSR

    E. H. Tyugu

Authors
  1. E. H. Tyugu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrei P. Ershov Donald E. Knuth

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation