|
項書き換えに基づくパターンによるプログラム変換の枠組みを拡張し，高階関数を直接取り扱うことが出来るプログラム変換枠組みの構築を目指した．理論的計算モデルとして，単純型付項書き換えシステム(Simply Typed Term Rewriting System，STTRS)を採用した．プログラム変換の正当性を検証するための手続きとしてSTTRS等価変換手続きを提案し，その理論的正しさを証明した．
STTRSの枠組みで変換パターンを作成するために，STTRSパターンの概念を提案した．また，STTRSパターンによるプログラム変換を実現するために，STTRSパターンマッチングアルゴリズムを提案した．
|
