Skip to main content
SpringerLink
Log in

On the way to practical program synthesis

  • Published:
Cybernetics Aims and scope

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literature Cited

  1. É. Z. Lyubimskii, “Questions of automatic programming,” Vestn. Akad. Nauk SSSR, No. 8 (1960).

  2. Z. Manna and R. J. Waldinger, “Towards automatic program synthesis,” Commun. Assoc. Comput. Mach.,14, No. 3 (1971).

    Google Scholar 

  3. Transactions of the Sixth International Conference on Artificial Intelligence. Vol. 4. Learning, Debugging, and Automatic Programming [in Russian], Moscow (1975).

  4. N. A. Rin and M. Brown, “An overview of a system for automatic generation of file conversion programs,” Software Practice Exp.,5 (1975).

  5. F. Ahrens, “CODASYL data base task group report,” Comput. Praxis, No. 5 (1973).

  6. E. F. Codd, “Recent investigations in relational data base systems,” in: Information Processing 74, North-Holland, Amsterdam (1974).

    Google Scholar 

  7. E. Humby, Programs from Decision Tables, McDonald, London (1973).

    Google Scholar 

  8. B. G. Tamm and É. Kh. Tyugu, “On the development of problem-oriented software,” Kibernetika, No. 4 (1975).

  9. A. System for Automatic Program Production (APROP) [in Russian], Izd. Inst. Kibernetiki Akad. Nauk UkrSSR, Kiev (1976).

  10. R. C. T. Lee, C. L. Chang, and R. J. Waldinger, “An improved program-synthesizing algorithm and its correctness,” Commun. Assoc. Comput. Mach.,17, No. 4 (1974).

    Google Scholar 

  11. É. Kh. Tyugu, “The solution of problems on computational models,” Zh. Vychisl. Mat. Mat. Fiz.,10, No. 3 (1970).

  12. I. B. Zadykhailo, “Organization of a cyclic process of computation according to parametric notation of a special form,” Zh. Vychisl. Mat. Mat. Fiz.,3, No. 2 (1963).

  13. B. A. Zagatskii, M. I. Zizin, T. A. Temnoeva, and A. N. Yaroslavtsev, Automation of Reactor Calculations [in Russian], Atomizdat, Moscow (1974).

    Google Scholar 

  14. I. A. Bashmakov and M. S. Besfamil'nyi, “Certain questions of the construction of application packages for the solution of graph problems,” Tr. Mosk. Énerg. Inst. Teor. Grafov, No. 178 (1974).

  15. M. A. Myannisalu and É. Kh. Tyugu, “The problem description language UTOPIST,” Upravl. Sist. Mash., No. 1 (1974).

  16. M. I. Kakhro, M. A. Myannisalu, and É. Kh. Tyugu, “The programming system PRIZ,” Kibernetika, No. 1 (1976).

  17. É. Kh. Tyugu, “A programming system with automatic synthesis of algorithms,” in: Transactions of the All-Union Symposium on Methods of Realizing New Algorithmic Languages [in Russian], Vol. 2, Novosibirsk (1975).

  18. V. B. Borshchev and M. V. Khomyakov, “Schemes for functions and relations,” in: Investigations of Formal Languages and Nonclassical Logics [in Russian], Nauka, Moscow (1974).

    Google Scholar 

  19. A. V. Karzanov and I. A. Faradzhev, “Planning of computations in the solution of problems by computational models,” Programmirovanie, No. 4 (1975).

  20. V. G. Karpov, L. S. Popyrin, V. I. Samusev, and V. V. Épel'shtein, “Automatic program construction for the calculation of thermal power installations,” Izv. Akad. Nauk SSSR. Énerg. Transport, No. 1 (1973).

Download references

Authors
  1. É. Kh. Tyugu
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika, No. 6, pp. 34–43, November–December, 1976.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tyugu, É.K. On the way to practical program synthesis. Cybern Syst Anal 12, 847–856 (1976). https://doi.org/10.1007/BF01070417

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01070417

Keywords

Search

Navigation