研課題
J-GLOBAL ID:202104010361887956
研究課題コード:7700000659
超計算:ソフトウェア自動生産のための新領域探求
体系的課題番号:JPMJPR00P3
実施期間:2000 - 2003
実施機関 (1件):
研究代表者:
(
, ソフトウェア生産技術研究所, 訪問研究員 )
DOI:
https://doi.org/10.52926/JPMJPR00P3
研究概要:
ソフトウェアの自動生産の実現を目指して、ソフトウェアを生成するソフトウェアの構築にあたります。その実現に向けて、意味論的に扱いやすい関数型言語を用いて、 (1)プログラムに対する3つの基本的な変換操作(プログラムの結合・逆転・特殊化)、(2)変換操作のなす多重階層、および (3)インタプリタを介した変換操作の可搬性、からなる3つの基本原理を組合せて研究を進めます。
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
,
研究制度:
>
>
上位研究課題:
機能と構成
研究所管機関:
報告書等:
前のページに戻る