Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

On the way to practical program synthesis

  • 13 Accesses

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

Literature Cited

  1. 1.

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

  2. 2.

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

  3. 3.

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

  4. 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. 5.

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

  6. 6.

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

  7. 7.

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

  8. 8.

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

  9. 9.

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

  10. 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).

  11. 11.

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

  12. 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. 13.

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

  14. 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. 15.

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

  16. 16.

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

  17. 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. 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).

  19. 19.

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

  20. 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

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

Keywords

  • Operating System
  • Artificial Intelligence
  • System Theory
  • Program Synthesis
  • Practical Program