研究代表者 |
Glueck Robert 早稲田大学, ソフトウェア生産技術研究所, 訪問研究員
|
|---|
| 研究期間 (年度) |
2000 – 2003
|
| 概要 | ソフトウェアの自動生産の実現を目指して、ソフトウェアを生成するソフトウェアの構築にあたります。その実現に向けて、意味論的に扱いやすい関数型言語を用いて、 (1)プログラムに対する3つの基本的な変換操作(プログラムの結合・逆転・特殊化)、(2)変換操作のなす多重階層、および (3)インタプリタを介した変換操作の可搬性、からなる3つの基本原理を組合せて研究を進めます。
|
|---|
| 研究領域 | 機能と構成 |
|---|
