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. 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).
Translated from Kibernetika, No. 1, pp. 45–55, January–February, 1985.
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
- Operating System
- Artificial Intelligence
- System Theory