CEK機械
CEK機械とは、ラムダ計算に対して値渡し評価戦略の操作的意味論を与えるための抽象機械の1つである。 CEKとは、機械の状態を構成する3つの要素である “Control string”, “Environment”, “Continuation” に由来する。
CEK機械とは、ラムダ計算に対して値渡し評価戦略の操作的意味論を与えるための抽象機械の1つである。 CEKとは、機械の状態を構成する3つの要素である “Control string”, “Environment”, “Continuation” に由来する。
CEK機械とは、ラムダ計算に対して値渡し評価戦略の操作的意味論を与えるための抽象機械の1つである。 CEKとは、機械の状態を構成する3つの要素である “Control string”, “Environment”, “Continuation” に由来する。
出典: Wikipedia「CEK機械」 · CC BY-SA 4.0
この記事を共有: X · Bluesky