|
双方向変換は異なる種類の複数データ間の同期を可能にし，プログラミング言語やソフトウェア工学等の様々な分野で注目を集めている．
本プロジェクトでは主に，双方向変換の記述のためのプログラミング言語に関する二つの成果を得た．一つ目は高階関数型部分可逆プログラミング言語のSparclの設計・実装である．この言語では可逆性を保証したまま一方向の処理と可逆な処理を組み合せることが可能であり，結果，辞書式圧縮等をより自然な形で記述することを可能とする．もう一つは双方向変換合成システムSymbitの設計・実装である．このシステムは，通常の一方向プログラムと逆方向の入出力例から双方向プログラムを効果的に合成する．
|
