e/ja/CEK機械

Information
instance of	e/Virtual machine

Meaning
Japanese
has gloss	jpn: CEK機械とは、ラムダ計算に対して値渡し評価戦略の操作的意味論を与えるための抽象機械の1つである。CEKとは、機械の状態を構成する3つの要素である “Control string”, “Environment”, “Continuation” に由来する。ここで、値渡し評価戦略の代わりに名前渡し評価戦略を使うとKrivineの機械が導出される。
lexicalization	jpn: CEK機械