|
プログラム逆計算は，プログラムが与えられたときに，そのプログラムの出力から対応する入力を計算するプログラムを求める．本プロジェクトの目的は，プログラム逆計算による多対一の関係にある相互変換プログラムの構成である．本プロジェクトの主な成果は次の二つである．一つ目は，整形出力プログラムを入力とし，構文解析プログラムを出力するシステムの作成である．二つ目は，双方向変換──通常の変換と，変換後のデータに対する変更を元データに書き戻す逆方向変換の組──を通常の一方向の変換プログラムから構成するfree theoremに基づく手法を，より実用的な変換が扱えるように拡張したことである．
|
