French Machine de Krivine Cited by user 137.132.188.21 on 26 Mar 2023 En informatique théorique, la machine de Krivine est une machine abstraite (on peut aussi dire une machine virtuelle) au même titre que les machines de Turing ou que la…
English CEK Machine Cited by user Jo-lieang on 08 Mar 2023 A CEK Machine is an abstract machine invented by Matthias Felleisen and Daniel P. Friedman.
English Meta-circular evaluator Cited by user Mathnerd314159 on 14 Apr 2017 In computing, a meta-circular evaluator or meta-circular interpreter is an interpreter which defines each feature of the interpreted language using a similar facility of…