- 著者
-
渡辺 佳友
伊藤 貴康
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告. 記号処理研究会報告
- 巻号頁・発行日
- vol.94, no.79, pp.7-14, 1994-09-16
SchemeはLispの方言であり,コンティニュエーションをファーストクラスのオブジェクトとして扱うcall/ccを備えた関数型プログラミング言語である.この論文では,SchemeのサブセットであるCore Schemeに対してcall/ccを用いた繰返し的Schemeプログラムに基づくコンパイル法を提案する.call/ccを用いた繰返し的Schemeプログラムとは,再帰的な関数呼出しをlet文とcall/ccを用いて末尾再帰風に記述したプログラムである.この論文では,call/ccを用いた繰返し的プログラムによるコンパイルとCPS法によるコンパイルが,Core Schemeプログラムに対して同じコードを生成することを示す.