Proj
J-GLOBAL ID：202104010361887956
Research Project code：7700000659
超計算:ソフトウェア自動生産のための新領域探求
超計算:ソフトウェア自動生産のための新領域探求
National award number：JPMJPR00P3
Study period：2000 - 2003
Organization (1)：
Principal investigator：
(
, ソフトウェア生産技術研究所, 訪問研究員 )
DOI：
https://doi.org/10.52926/JPMJPR00P3
Research overview：
ソフトウェアの自動生産の実現を目指して、ソフトウェアを生成するソフトウェアの構築にあたります。その実現に向けて、意味論的に扱いやすい関数型言語を用いて、 (1)プログラムに対する3つの基本的な変換操作(プログラムの結合・逆転・特殊化)、(2)変換操作のなす多重階層、および (3)インタプリタを介した変換操作の可搬性、からなる3つの基本原理を組合せて研究を進めます。
Terms in the title (2)：
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
