### Abstract

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.

Original language | English |
---|---|

Title of host publication | Mathematical Studies of Information Processing - Proceedings of the International Conference |

Publisher | Springer-Verlag |

Pages | 302-325 |

Number of pages | 24 |

ISBN (Print) | 9783540095415 |

DOIs | |

Publication status | Published - 1979 Jan 1 |

Externally published | Yes |

Event | International Conference on Mathematical Studies of Information Processing, 1978 - Kyoto, Japan Duration: 1978 Aug 23 → 1978 Aug 26 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 75 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Other

Other | International Conference on Mathematical Studies of Information Processing, 1978 |
---|---|

Country | Japan |

City | Kyoto |

Period | 78/8/23 → 78/8/26 |

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

## Fingerprint Dive into the research topics of 'Program synthesis through Gödel's interpretation'. Together they form a unique fingerprint.

## Cite this

*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); Vol. 75 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-09541-1_32