| 研究概要 |
プログラムの漸増的な発展過程で保存される性質を明らかにするため,書き換えシステムの変形・組合せで保存される性質の解析を中心に研究を進め,以下の成果を得た。
1。書き換えシステムの分解・合成
書き換えシステムの発展過程における不変な性質を明らかにするため,型情報の変更が書き換えシステムの停止性や合流性に及ぼす影響を理論的に解析した。さらに、自然なソ-ト付けによるシステムの分解可能性という概念を導入することで,直和システムのモジュラ性と同様な性質が成り立つことを明らかにした。
2。木持ち上げ順序による停止性
2つの項書き換えシステムの合併の停止性を導く手法として木持ち上げ順序を提案した。これは,従来知られていたダミ-削除による停止性判定手法を発展させたものであり,階層構造をもつシステムの解析にも有効な手法である。
3。優先順位付き書き換えシステムの意味論
関数型言語の計算モデルである優先順位付き書き換えシステムの操作的意味論を与えた。さらに,優先順位付き書き換えシステムの効率的な計算方法について解析を行い,強逐次性のクラスが決定可能であること,及び,そのクラスにおいては,インデックス書き換えが正規化戦略であることを示した。
|
