コンピュータ ソフトウェア
Print ISSN : 0289-6540
限定継続処理の抽象機械導出のためのプログラム変換
木谷 有沙浅井 健一
著者情報
ジャーナル フリー

27 巻 (2010) 3 号 p. 3_51-3_66

詳細
PDFをダウンロード (167K) 発行機関連絡先
抄録

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

著者関連情報
© 日本ソフトウェア科学会 2010
前の記事 次の記事

閲覧履歴
feedback
Top