Autor der Publikation

Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013.

, , , und (Hrsg.) Volume 129 von EPTCS, (2013)

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.

Keine Personen gefunden für den Autorennamen Danvy, Olivier
Eine Person hinzufügen mit dem Namen Danvy, Olivier
 

Weitere Publikationen von Autoren mit dem selben Namen

Representing Control: A Study of the CPS Transformation., und . Mathematical Structures in Computer Science, 2 (4): 361-391 (1992)An Operational Foundation for Delimited Continuations in the CPS Hierarchy., , und . Logical Methods in Computer Science, (2005)A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration., und . J. Formalized Reasoning, 4 (1): 85-109 (2011)A Rational Deconstruction of Landin's SECD Machine with the J Operator, und . CoRR, (2008)The Essence of Eta-Expansion in Partial Evaluation., , und . PEPM, Seite 11-20. University of Melbourne, Australia, Department of Computer Science, (1994)A syntactic correspondence between context-sensitive calculi and abstract machines., und . Theor. Comput. Sci., 375 (1-3): 76-108 (2007)Syntactic Theories in Practice., und . Electr. Notes Theor. Comput. Sci., 59 (4): 358-374 (2001)Typeful Normalization by Evaluation., , und . TYPES, Volume 39 von LIPIcs, Seite 72-88. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2014)Defunctionalization at Work., und . PPDP, Seite 162-174. ACM, (2001)Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation., und . Types in Compilation, Volume 1473 von Lecture Notes in Computer Science, Seite 240-252. Springer, (1998)