| 研究課題/領域番号 |
24650016
|
|---|
| 研究種目 |
挑戦的萌芽研究
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 早稲田大学 |
|---|
研究代表者 |
上田 和紀 早稲田大学, 理工学術院, 教授 (10257206)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2014年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2013年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | モデル検査 / コンパイラ / 検証 / 型体系 / ソフトウェア進化 |
|---|
| 研究成果の概要 |
非手続き型高水準言語の適用分野として，さまざまな系のモデリングと検証が今後重要性を増すと期待される．研究代表者らはモデル検査機能を通常の計算と同一の枠組で提供するグラフ書換え言語処理系の開発と公開を進めてきたが，コンパイラの進化的発展と信頼性確保が課題であった．本研究では，コンパイラと実行時処理系をつなぐ抽象機械によるグラフ書換え操作の形式化と検証を行うことで，コンパイラの検証に向けた一歩を踏み出した．また，モデルの解析，理解，最適化に役立つグラフ書換え言語のための新たな型体系を，微視的な接続関係に着目した体系とグラフ全体の形状を扱う体系の両面から検討してそれぞれ構築した．
|
