( en | de | ru )

 

Disambiguierung von "Danvy, Olivier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Olivier Coutand

Paul Olivier

Christoph Olivier

Olivier Brede

Hans Olivier

 

Weitere Publikationen von Autoren mit dem selben Namen

Editorial., und . High. Order Symb. Comput., 15 (2-3): 139-140 (2002)Representing Control: A Study of the CPS Transformation., und . Math. Struct. Comput. Sci., 2 (4): 361-391 (1992)CPS transformation of flow information, Part II: administrative reductions., und . J. Funct. Program., 13 (5): 925-933 (2003)Defunctionalization at Work., und . PPDP, Seite 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, Volume 5700 von Lecture Notes in Computer Science, Seite 162-185. Springer, (2009)J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations., , und . DSL, Volume 5658 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2009)Three Syntactic Theories for Combinatory Graph Reduction., und . LOPSTR, Volume 6564 von Lecture Notes in Computer Science, Seite 1-20. Springer, (2010)A Generic Account of Continuation-Passing Styles., und . POPL, Seite 458-471. ACM Press, (1994)Eta-expansion does The Trick, , und . 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, und . Inf. Process. Lett., 106 (3): 100-109 (2008)