Advertisement

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

Extraction of a program from deduction and its regularity. I

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

Literature Cited

  1. 1.

    Z. Manna and R. Waldinger, “Towards automatic program synthesis,” Comm. ACM,14, No. 3, 542 (1971).

  2. 2.

    M. Sato, “Towards a mathematical theory of program synthesis,” in: Proc. Joint Intern. Conf. Art. Intel., Tokyo (1979).

  3. 3.

    Z. Manna and R. Waldinger, “A deductive approach to program synthesis,” in: Proc. Joint Intern. Conf. Art. Intel., Tokyo (1979).

  4. 4.

    N. N. Nepeivoda, “One method of constructing a correct program from correct programs,” Programmirovanie, No. 1, 15 (1979).

  5. 5.

    A. Tauts, “Formal deduction with transfinite induction and its transformation with the aim of providing convenience in program extraction,” Kibernetika, No. 3, 120 (1984).

Download references

Additional information

Translated from Kibernetika, No. 1, pp. 45–55, January–February, 1985.

Rights and permissions

Reprints 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

Download citation

Keywords

  • Operating System
  • Artificial Intelligence
  • System Theory