Literature Cited
Z. Manna and R. Waldinger, “Towards automatic program synthesis,” Comm. ACM,14, No. 3, 542 (1971).
M. Sato, “Towards a mathematical theory of program synthesis,” in: Proc. Joint Intern. Conf. Art. Intel., Tokyo (1979).
Z. Manna and R. Waldinger, “A deductive approach to program synthesis,” in: Proc. Joint Intern. Conf. Art. Intel., Tokyo (1979).
N. N. Nepeivoda, “One method of constructing a correct program from correct programs,” Programmirovanie, No. 1, 15 (1979).
A. Tauts, “Formal deduction with transfinite induction and its transformation with the aim of providing convenience in program extraction,” Kibernetika, No. 3, 120 (1984).
Additional information
Translated from Kibernetika, No. 1, pp. 45–55, January–February, 1985.
Rights and permissions
About this article
Cite this article
Tauts, A. Extraction of a program from deduction and its regularity. I. Cybern Syst Anal 21, 54–68 (1985). https://doi.org/10.1007/BF01075120
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01075120