Program synthesis through Gödel's interpretation

Shigeki Goto

研究成果: Conference contribution

4 引用 (Scopus)

抜粋

This paper develops a program synthesis method based upon intuitionistic logic. This method is essentially an application of Gödel's interpretation which is also called Dialectica interpretation. By the use of Gödel's interpretation, it is possible to transform proof figures of intuitionistic number theory into primitive recursive functionals. The present concept is that primitive recursive functionals can be represented by LISP programs. Consequently, proof figures can be transformed into computer programs. To confirm this idea experimentally, a program synthesizer GDL0, which is a PDP-11 (DEC) program, is implemented. GDL0 experimental applications results are presented.

元の言語English
ホスト出版物のタイトルMathematical Studies of Information Processing - Proceedings of the International Conference
出版者Springer-Verlag
ページ302-325
ページ数24
ISBN(印刷物)9783540095415
DOI
出版物ステータスPublished - 1979 1 1
外部発表Yes
イベントInternational Conference on Mathematical Studies of Information Processing, 1978 - Kyoto, Japan
継続期間: 1978 8 231978 8 26

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
75 LNCS
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

Other

OtherInternational Conference on Mathematical Studies of Information Processing, 1978
Japan
Kyoto
期間78/8/2378/8/26

    フィンガープリント

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

これを引用

Goto, S. (1979). Program synthesis through Gödel's interpretation. : Mathematical Studies of Information Processing - Proceedings of the International Conference (pp. 302-325). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 75 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-09541-1_32