A CEK Machine is an abstract machine invented by Matthias Felleisen and Daniel P. Friedman that implements left-to-right call by value.[1] 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.[2][3][4]
The CEK machine builds on the SECD machine by replacing the dump (call stack) with the more advanced continuation, and putting parameters directly into the environment, rather than pushing them on to the parameter stack first. Other modifications can be made which creates a whole family of related machines. For example, the CESK machine has the environment map variables to a pointer on the store, which is effectively a heap. This allows it to model mutable state better than the ordinary CEK machine. The CK machine has no environment, and can be used for simple calculi without variables.[5]
^Accattoli, Beniamino; Barenbaum, Pablo; Mazza, Damiano (19 August 2014), "Distilling abstract machines", Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, ACM, pp. 363–376, doi:10.1145/2628136.2628154, ISBN 9781450328739, They differ on how they behave with respect to applications: the CEK implements left-to-right call-by-value, i.e. it first evaluates the function part, the LAM gives instead precedence to arguments, realizing right-to-left call-by-value.
^Jens Palsberg (28 August 2009). Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Springer Science & Business Media. pp. 162–. ISBN 978-3-642-04163-1.
^Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew (10 July 2009). Semantics Engineering with PLT Redex. MIT Press. pp. 113–. ISBN 978-0-262-25817-3.
^Thielecke, Hayo (December 9, 2015). "Implementing functional languages with abstract machines" (PDF). Archived from the original (PDF) on 2021-07-17. Retrieved September 9, 2020.
^Felleisen, Matthias; Friedman, Daniel P. (October 1986). "A Calculus for Assignments in Higher-Order Languages" (PDF).
A CEKMachine is an abstract machine invented by Matthias Felleisen and Daniel P. Friedman that implements left-to-right call by value. It is generally...
exist. They all take any necessary parameters from the stack. CEKMachine Krivine machine Landin, P. J. (January 1964). "The Mechanical Evaluation of Expressions"...
form of the term ((λ 0) (λ 0)) (λ 0) is (λ 0). The Krivine machine, like the CEKmachine, does not only functionally correspond to a meta-circular evaluator...
The Government College of Engineering Karunagappally (CEK) is a public institute of engineering and technology in Karunagappally, in the north-west of...
the World’s Languages in Danger Archived 22 February 2009 at the Wayback Machine "Kryts". The Endangered Languages Project. "UNESCO Atlas of the World's...
Cek, also known as Jek or Dzhek, is a Northeast Caucasian language spoken by about 1,500 to 11,000 Jek people in the village of Jek in the mountains of...
Category Result 2017 Indonesian Box Office Movie Awards 2017 Best Female Lead (film) Cek Toko Sebelah Nominated Best Newcomer (film) Cek Toko Sebelah Won...
treque-treque[citation needed] in Portuguese, krits-krits in modern Greek, cëk-cëk in Albanian,[citation needed] and katr-katr in Hindi.[citation needed]...
International Photography Hall of Fame, 1972 The C.E.K. Mees Award is the highest research honor given by Kodak. The C.E.K. Mees Medal, awarded in odd-numbered years...
Engineering, Kollam, Karikode(TKMCE) College of Engineering, Karunagappally(CEK) College of Engineering, Perumon (CEP) College of Engineering, Kottarakkara...
Panjang (from Poso) † Abu Alim alias Ambo (from Bima) † "Pangkogabwilhan II Cek Situasi Wilayah di Poso Melalui Udara dalam Operasi Tinombala 2020". tni-au...
doi:10.1086/649554. PMID 20034345. Grabe M, Bjerklund-Johansen TE, Botto H, Çek M, Naber KG, Pickard RS, et al. (2013). "Guidelines on Urological Infections"...
Monica Info Terbaru via Tweet" [Newest Info about Agnes Monica via Tweet]. Cek & Ricek (in Indonesian). 28 January 2011. Archived from the original on 10...
fear of its being stolen. Also called BLACK key. content-encryption key (CEK) a key that may be further encrypted using a KEK, where the content may be...
SUrya, Rendy (7 December 2023). "Honda Accord Hybrid Resmi Diluncurkan, Cek Harga Dan Spesifikasinya". Otomotifnet.com. Kompas Gramedia. Retrieved 8...
February 2024). "Jadwal Buka-Tutup TPS Pemilu 2024 & Dokumen-Tata Cara Coblos, Cek di Sini!". detikedu (in Indonesian). Archived from the original on 13 February...
January 2021). "Populasi Uighur naik 25 persen, pemerintah Xinjiang bantu cek keluarga" [Uighur population up 25 percent, Xinjiang government helps check...
Mutiarasari, Kanya (16 January 2024). "Daftar Nama Baru Halte Transjakarta, Cek Sebelum Berpergian!". detik.com (in Indonesian). Utama, Praga (12 August...
Global Information