限定継続処理の抽象機械導出のためのプログラム変換
2010 年 27 巻 3 号 p. 3_51-3_66
詳細
2010 年 27 巻 3 号 p. 3_51-3_66
本研究では，限定継続処理shift/resetを含むλ計算の，正当性の保証され，かつ機械語により近い実装を得ることを目指している．その手法として，shift/resetを定義するCPSインタプリタに対し，変換前後の評価器の等価性が保証されている変換のみを用いて抽象機械及び遷移規則を得る．これはDanvyらによって提案された手法に則っており，本論文でも同様のCPS変換，非関数化を最初に行っている．ただし，より実際の機械語実装に近づけるために，スタック導入と環境退避という二つの新しい変換を導入した．本論文ではこれらの変換の概要と変換前後の等価性について触れる．これらの変換の結果，CPSのインタプリタに妥当なプログラム変換のみを用いて，スタックへの環境退避を行う抽象機械を得られることが分かっている．今後，この抽象機械に他の妥当な変換を更に施すことで，既存の機械語に類似した命令セットを処理する機械が得られると考えている．
