the Krivine machine is an abstract machine (sometimes called virtual machine). As an abstract machine, it shares features with Turing machines and the...
16 KB (1,901 words) - 06:53, 24 January 2024
Alain Krivine (French: [a.lɛ̃ kʁi.vin]; 10 July 1941 – 12 March 2022) was a French Trotskyist leader. Krivine was born in July 1941 in Paris, France,...
6 KB (498 words) - 15:45, 21 January 2024
call-by-need) evaluation, such as the G-machine (1984), Krivine machine (1985), and Three Instruction Machine (1986), in which function arguments are...
25 KB (2,711 words) - 06:36, 1 May 2024
evaluators into abstract machines as well as vice versa. The CEK machine, like the Krivine machine, does not only functionally correspond to a meta-circular...
16 KB (1,846 words) - 04:24, 8 November 2023
Jean Audouze, Henri Broch, Jean-Paul Krivine, Jean-Claude Pecker and Jacques Bouveresse, "Analyse de la thèse de Madame Elizabeth Teissier", April 2001...
29 KB (3,359 words) - 04:25, 9 May 2024
self-interpreter to an early instance of the Krivine machine. The SECD machine and many other abstract machines can be inter-derived this way. It is remarkable...
18 KB (1,921 words) - 10:03, 22 September 2023
Village) is a French television drama series created by chief writer Frédéric Krivine and principal director Philippe Triboit, with the assistance of historical...
8 KB (679 words) - 20:59, 6 September 2023
semi-fictional organization of LISP and Scheme hackers Krivine machine – An abstract machine to interpret call-by-name in lambda calculus Lambda calculus...
85 KB (11,500 words) - 06:02, 22 May 2024
Conservatoire National Supérieur de Musique et Danse de Lyon La Chambre Philharmonique et Emmanuel Krivine en concert in Cité de la Musique, Paris Musiques...
26 KB (2,956 words) - 10:50, 17 May 2024
Agency for Israel. Retrieved 23 February 2014. "The Freddie Krivine Initiative". Freddie Krivine Initiative. Archived from the original on April 27, 2014...
52 KB (5,311 words) - 14:51, 17 March 2024