This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
É. Z. Lyubimskii, “Questions of automatic programming,” Vestn. Akad. Nauk SSSR, No. 8 (1960).
Z. Manna and R. J. Waldinger, “Towards automatic program synthesis,” Commun. Assoc. Comput. Mach.,14, No. 3 (1971).
Transactions of the Sixth International Conference on Artificial Intelligence. Vol. 4. Learning, Debugging, and Automatic Programming [in Russian], Moscow (1975).
N. A. Rin and M. Brown, “An overview of a system for automatic generation of file conversion programs,” Software Practice Exp.,5 (1975).
F. Ahrens, “CODASYL data base task group report,” Comput. Praxis, No. 5 (1973).
E. F. Codd, “Recent investigations in relational data base systems,” in: Information Processing 74, North-Holland, Amsterdam (1974).
E. Humby, Programs from Decision Tables, McDonald, London (1973).
B. G. Tamm and É. Kh. Tyugu, “On the development of problem-oriented software,” Kibernetika, No. 4 (1975).
A. System for Automatic Program Production (APROP) [in Russian], Izd. Inst. Kibernetiki Akad. Nauk UkrSSR, Kiev (1976).
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).
É. Kh. Tyugu, “The solution of problems on computational models,” Zh. Vychisl. Mat. Mat. Fiz.,10, No. 3 (1970).
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).
B. A. Zagatskii, M. I. Zizin, T. A. Temnoeva, and A. N. Yaroslavtsev, Automation of Reactor Calculations [in Russian], Atomizdat, Moscow (1974).
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).
M. A. Myannisalu and É. Kh. Tyugu, “The problem description language UTOPIST,” Upravl. Sist. Mash., No. 1 (1974).
M. I. Kakhro, M. A. Myannisalu, and É. Kh. Tyugu, “The programming system PRIZ,” Kibernetika, No. 1 (1976).
É. 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).
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).
A. V. Karzanov and I. A. Faradzhev, “Planning of computations in the solution of problems by computational models,” Programmirovanie, No. 4 (1975).
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).
Translated from Kibernetika, No. 6, pp. 34–43, November–December, 1976.
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
- Operating System
- Artificial Intelligence
- System Theory
- Program Synthesis
- Practical Program