Proj
J-GLOBAL ID:202104010982116864  Research Project code:7700000657

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

効率的で正しいプログラムの自動生成
National award number:JPMJPR00P1
Study period:2000 - 2003
Organization (1):
Principal investigator: ( , NTTコミュニケーション科学基礎研究所, 主任研究員 )
DOI: https://doi.org/10.52926/JPMJPR00P1
Research overview:
人間が作成するプログラムを効率の面で凌駕するプログラムの自動生成をめざします。その手法は、仕様記述を簡単な再帰関数により行い、組合せ理論とプログラム変換手法を適用することで理論的・実用的に効率の良いプログラムを生成します。応用範囲としてデータベース検索、プログラム解析の自動生成などを想定しています。
Terms in the title (1):
Terms in the title
Keywords automatically extracted from the title.
Research program:
Parent Research Project: 機能と構成
Organization with control over the research:
Japan Science and Technology Agency
Reports :

Return to Previous Page