著者

渡辺 佳友 伊藤 貴康

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告. 記号処理研究会報告

巻号頁・発行日

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プログラムに対して同じコードを生成することを示す.