効率的で正しいプログラムの自動生成

体系的課題番号：JPMJPR00P1
実施期間：2000 - 2003
実施機関 (1件)：
研究代表者： ( , NTTコミュニケーション科学基礎研究所, 主任研究員 )
DOI： https://doi.org/10.52926/JPMJPR00P1
研究概要：

人間が作成するプログラムを効率の面で凌駕するプログラムの自動生成をめざします。その手法は、仕様記述を簡単な再帰関数により行い、組合せ理論とプログラム変換手法を適用することで理論的・実用的に効率の良いプログラムを生成します。応用範囲としてデータベース検索、プログラム解析の自動生成などを想定しています。

研究制度：＞＞
上位研究課題：機能と構成
研究所管機関：