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
外部発表はい
イベント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
CountryJapan
CityKyoto
Period78/8/2378/8/26

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント 「Program synthesis through Gödel's interpretation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル