( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion

, и . Inf. Process. Lett., 106 (3): 100-109 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Olivier Coutand

Paul Olivier

Christoph Olivier

Olivier Brede

Hans Olivier

 

Другие публикации лиц с тем же именем

Editorial., и . High. Order Symb. Comput., 15 (2-3): 139-140 (2002)Representing Control: A Study of the CPS Transformation., и . Math. Struct. Comput. Sci., 2 (4): 361-391 (1992)CPS transformation of flow information, Part II: administrative reductions., и . J. Funct. Program., 13 (5): 925-933 (2003)Defunctionalization at Work., и . PPDP, стр. 162-174. ACM, (2001)Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.. Semantics and Algebraic Specification, том 5700 из Lecture Notes in Computer Science, стр. 162-185. Springer, (2009)J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations., , и . DSL, том 5658 из Lecture Notes in Computer Science, стр. 1-19. Springer, (2009)Three Syntactic Theories for Combinatory Graph Reduction., и . LOPSTR, том 6564 из Lecture Notes in Computer Science, стр. 1-20. Springer, (2010)A Generic Account of Continuation-Passing Styles., и . POPL, стр. 458-471. ACM Press, (1994)Eta-expansion does The Trick, , и . ACM Trans. Program. Lang. Syst., 18 (6): 730--751 (1996)On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion, и . Inf. Process. Lett., 106 (3): 100-109 (2008)