情報科学実験II資料 (4) CPS変換のアルゴリズム

CPS変換はMin-Schemeの関数定義を, 対応するCPSの関数定義に変換する. その変換のアルゴリズムがどのように働くべきかを見るために複合式: (+ (* a x) (* b y)) の例を見る. これを例にあげたのはわかりやすさのためで, 後には引数の 数がいくつであってもいいような一般的なアルゴリズムを開発する. 目標は, これが以下のようなCPS式に変換されることである. (* [a x] [p] [(* [b y] [q] [(+ [p q] [r] [(... use r ...)])])]) ここで, (... use r ...)というのは(+ (* a x) (* b y))の値を 使う式であり, program text の上では, (+ (* a x) (* b y))の外側の 式になる. もしそのような式がなければ, rの値を返り値として返すCPS 式である.

[morita_non]

CPS変換