著者

松嵜 昭雄 金本 良通 大根田 裕 青山 和裕

出版者

公益社団法人 日本数学教育学会

雑誌

日本数学教育学会誌 (ISSN:0021471X)

巻号頁・発行日

vol.96, no.1, pp.2, 2014 (Released:2021-04-01)

被引用文献数

1

著者

住井英二郎 大根田裕一 米澤 明憲

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.45, no.SIG12(PRO23), pp.67-82, 2004-11-15

---

制御フローグラフに類似した一般的な命令型言語を,CPS(継続渡しスタイル)を中間表現としてコンパイルする方法を提案する.CPS とは,「残りの計算」(継続と呼ばれる)を表現する関数を生成することにより,すべての関数呼び出しや条件分岐を末尾位置においた関数型言語の一種であり,Scheme やML といった関数型言語のコンパイラに広く用いられている.命令型言語をCPS に変換することで,スタックフレームや例外ハンドラが継続として明示化され,関数適用や例外処理における複雑な制御の流れが明確化される.結果として,インライン展開や末尾呼び出し最適化を含む多くの最適化が容易に実現できる.我々は命令型言語をCPS に変換する過程の単純な定式化を与え,その正しさを証明する.