Everything about CEK Machine
Theoretical computer model
A CEK Machine is an abstract machine invented by Matthias Felleisen and Daniel P. Friedman that implements left-to-right call by value. It is generally implemented as an interpreter for functional programming languages, but can also be used to implement simple imperative programming languages. A state in a CEK machine includes a control statement, environment and continuation. The control statement is the term being evaluated at that moment, the environment is (usually) a map from variable names to values, and the continuation stores another state, or a special halt case. It is a simplified form of another abstract machine called the SECD machine. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: CEK MachineA 5-minute orientation
- Read the landmark paper: Analisis Sentimen Ulasan Aplikasi Cek Bansos pada Google Play Store Menggunakan Metode Support Vector MachineCited 0 times
- Go sideways: Meta-circular evaluatorA closely related topic
- Go sideways: Numerical rangeA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
đź“š Books worth reading
Open Library didn't respond; try again in a moment.
đź”— Related topics
- Meta-circular evaluator In computing, a meta-circular evaluator (MCE) or meta-circular interpreter (MCI) is an interpreter which defines each feature of the interpreted language…
- Numerical range In the mathematical field of linear algebra and convex analysis, the numerical range or field of values or Wertvorrat or Wertevorrat of a complex n × n…
- Partial combinatory algebra In theoretical computer science and mathematical logic, specifically in realizability, a partial combinatory algebra (pca) is an algebraic structure which…
- Wrapped exponential distribution In probability theory and directional statistics, a wrapped exponential distribution is a wrapped probability distribution that results from the "wrapping"…
- Lattice model (physics) In mathematical physics, a lattice model is a mathematical model of a physical system that is defined on a lattice, as opposed to a continuum, such as…
- Frame (linear algebra) In linear algebra, a frame of an inner product space is a generalization of a basis of a vector space to sets that may be linearly dependent. In the terminology…
- Normalisation by evaluation In programming language semantics, normalisation by evaluation (NBE) is a method of obtaining the normal form of terms in the λ-calculus by appealing to…
- Glossary of functional analysis This is a glossary for the terminology in a mathematical field of functional analysis. Throughout the article, unless stated otherwise, the base field…