MinCaml コンパイラにおける shift/reset の実装 Export

@inproceedings{citeulike:4275288, abstract = {継続とは，計算のある時点における「残りの計算」を表す概念である。プログラミング言語に継続を扱う機能を導入すると，ユーザによるプログラムの実行順序の制御が可能になる。 継続をプログラムで扱うには，プログラムをCPS 形式で書くか，CPS 変換を施せばよい。しかし，CPS 変換を施すとプログラム全体が書き換わるので，局所的に継続を扱いたい場合には不向きである。 一方，call/cc やcontrol/prompt，shift/reset などの継続を扱える命令を導入すると，プログラムを大きく書き換えることなく，継続が扱えるようになる。call/cc については効率的な実装方法が研究されているが，shift/reset の実装についてはまだあまり研究されていない。そこで本研究では，MinCamlコンパイラに限定継続の命令shift/reset を導入し，その直接実装を試みる。またその改良として，フレームをlazy にコピーする実装方法を示す。}, author = {増子 and 浅井, 健一}, citeulike-article-id = {4275288}, keywords = {continuation}, posted-at = {2009-07-29 03:20:55}, priority = {2}, title = {MinCaml コンパイラにおける shift/reset の実装} }

TY - CONF ID - citeulike:4275288 L3 - citeulike-article-id:4275288 N2 - 継続とは，計算のある時点における「残りの計算」を表す概念である。プログラミング言語に継続を扱う機能を導入すると，ユーザによるプログラムの実行順序の制御が可能になる。 継続をプログラムで扱うには，プログラムをCPS 形式で書くか，CPS 変換を施せばよい。しかし，CPS 変換を施すとプログラム全体が書き換わるので，局所的に継続を扱いたい場合には不向きである。 一方，call/cc やcontrol/prompt，shift/reset などの継続を扱える命令を導入すると，プログラムを大きく書き換えることなく，継続が扱えるようになる。call/cc については効率的な実装方法が研究されているが，shift/reset の実装についてはまだあまり研究されていない。そこで本研究では，MinCamlコンパイラに限定継続の命令shift/reset を導入し，その直接実装を試みる。またその改良として，フレームをlazy にコピーする実装方法を示す。 TI - MinCaml コンパイラにおける shift/reset の実装 KW - continuation AU - 増子 AU - 浅井, 健一 ER -