CEK機械
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/02/27 16:50 UTC 版)
CEK機械[1]とは、ラムダ計算に対して値渡し評価戦略の操作的意味論を与えるための抽象機械の1つである。CEKとは、機械の状態を構成する3つの要素である “Control string”, “Environment”, “Continuation” に由来する[1]。
- ^ a b c Matthias Felleisen and Matthew Flatt. Programming Languages and Lambda Calculi. Unpublished manuscript, 1989-2001
- ^ a b Olivier Danvy. On Evaluation Contexts, Continuations, and the Rest of the Computation. In Proceedings of the Fourth ACM SIGPLAN workshop on Continuations, 2004.
- ^ Małgorzata Biernacka, Dariusz Biernacki, and Olivier Danvy. An Operational Foundation for Delimited Continuations in the CPS hierarchy. BRICS research report RS-05-24, 2005. ISSN 0909-0878
- 1 CEK機械とは
- 2 CEK機械の概要
- 3 拡張
- CEK機械のページへのリンク