Aarhus University Seal / Aarhus Universitets segl

Olivier Danvy

  1. 2015
  2. Udgivet

    2015 Workshop on Continuations : pre-proceedings. / Danvy, Olivier (Redaktør).

    Department of Computer Science, University of Aarhus, 2015. 115 s.

    Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

  3. Udgivet

    A dynamic continuation-passing style for dynamic delimited continuations. / Biernacki, Dariusz; Danvy, Olivier; Millikin, Kevin.

    I: A C M Transactions on Programming Languages and Systems, Bind 38, Nr. 1, 2, 2015.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  4. Udgivet

    From Outermost Reduction Semantics to Abstract Machine. / Danvy, Olivier; Johannsen, Jacob.

    Department of Computer Science, University of Aarhus, 2015. 23 s.

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  5. 2014
  6. Udgivet

    A Characterization of Moessner's Sieve. / Clausen, Christian; Danvy, Olivier; Masuko, Moe.

    I: Theoretical Computer Science, Bind 546, Nr. August, 2014, s. 244–256.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  7. Udgivet

    From Outermost Reduction Semantics to Abstract Machine. / Danvy, Olivier; Johannsen, Jacob.

    23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013: Revised Selected Papers. red. / Gopal Gupta ; Ricardo Ricardo Peña. Springer VS, 2014. s. 91-98 (Lecture Notes in Computer Science, Bind 8901).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  8. 2013
  9. Udgivet

    A synthetic operational account of call-by-need evaluation. / Zerny, Ian; Danvy, Olivier.

    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 . red. / Ricardo Peña ; Tom Schrijvers. Association for Computing Machinery, 2013. s. 97-108.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  10. Udgivet

    Circularity and Lambda Abstraction. / Danvy, Olivier; Thiemann, Peter ; Zerny, Ian.

    Proceedings, The 25th symposium on Implementation and Application of Functional Languages.. ScienceGate, 2013.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  11. Udgivet

    Semantics, Abstract Interpretation, and Reasoning about Programs : Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday : Festschrift for Dave Schmidt, Manhattan, Kansas, USA, 19-20th September 2013. / Banerjee, Anindya (Redaktør); Danvy, Olivier (Redaktør); Doh, Kyung-Goo (Redaktør); Hatcliff , John (Redaktør).

    http://published.eptcs.org/, 2013. 419 s. (Electronic Proceedings in Theoretical Computer Science, Bind 129).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  12. Udgivet

    Three Syntactic Theories for Combinatory Graph Reduction. / Danvy, Olivier; Zerny, Ian.

    I: A C M Transactions on Computational Logic, Bind 14, Nr. 4, 29, 2013.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  13. 2012
  14. Udgivet

    On Inter-deriving Small-step and Big-step Semantics : A Case Study for Storeless Call-by-need Evaluation. / Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian.

    I: Theoretical Computer Science, Bind 435, 2012, s. 21–42.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  15. 2011
  16. Udgivet

    A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration. / Cherabini, Luca; Danvy, Olivier.

    I: Journal of Formalized Reasoning, Bind 4, Nr. 1, 2011, s. 85-109.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  17. Udgivet

    A Walk in the Semantic Park. / Danvy, Olivier; Johannsen, Jacob; Zerny, Ian.

    Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation . red. / Siau-Cheng Khoo; Jeremy Siek. Association for Computing Machinery, 2011. s. 1-12.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  18. Udgivet

    Abstracting abstract machines: technical perspective. / Danvy, Olivier; Midtgaard, Jan.

    I: Association for Computing Machinery. Communications, Bind 54, Nr. 9, 2011, s. 100-100.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisAnmeldelseForskningpeer review

  19. Udgivet

    Formal Modeling : Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. / Agha, Gul (Redaktør); Danvy, Olivier (Redaktør); Meseguer, José (Redaktør).

    Springer, 2011. 445 s. (Lecture Notes in Computer Science; Nr. 7000).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  20. Udgivet

    Pragmatics for formal semantics. / Danvy, Olivier.

    Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering . Association for Computing Machinery, 2011. s. 93-94.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferenceabstrakt i proceedingsForskningpeer review

  21. Udgivet

    Proceedings IFIP Working Conference on Domain-Specific Languages. / Danvy, Olivier (Redaktør); Shan, Chung-chieh (Redaktør).

    2011. 260 s.

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  22. Udgivet

    Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. / Chakravarty, Manuel (Redaktør); Hu, Zhenjiang (Redaktør); Danvy, Olivier.

    Association for Computing Machinery, 2011. 458 s.

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  23. Udgivet

    Three Syntactic Theories for Combinatory Graph Reduction. / Danvy, Olivier; Zerny, Ian.

    I: Lecture Notes in Computer Science, Bind 6564, 2011, s. 1-20.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  24. 2010
  25. Udgivet

    Defunctionalized Interpreters for Call-by-Need Evaluation. / Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian.

    I: Lecture Notes in Computer Science, Bind 6009, 2010, s. 240-256.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  26. Udgivet

    Editorial. / Danvy, Olivier; Talcott, Carolyn.

    I: Higher-Order and Symbolic Computation, Bind 22, Nr. 3, 2010, s. 197.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  27. Udgivet

    Editorial. / Danvy, Olivier; Talcott, Carolyn.

    I: Higher-Order and Symbolic Computation, Bind 22, Nr. 4, 2010, s. 293.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  28. Udgivet

    Inter-deriving Semantic Artifacts for Object-Oriented Programming. / Danvy, Olivier; Johannsen, Jacob.

    I: Journal of Computer and System Sciences, Bind 76, Nr. 5, 2010, s. 302-323.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  29. 2009
  30. Udgivet

    Editorial. / Danvy, Olivier; Talcott, Carolyn.

    I: Higher-Order and Symbolic Computation, Bind 22, Nr. 2, 2009, s. 113-113.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  31. Udgivet

    Editorial. / Danvy, Olivier; Padget, John.

    I: Higher-Order and Symbolic Computation, Bind 22, Nr. 1, 2009, s. 1-1.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  32. Udgivet

    From Reduction-Based to Reduction-Free Normalization : Lecture notes including 70+ exercises. / Danvy, Olivier.

    I: Lecture Notes in Computer Science, 2009, s. 66-164.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  33. Udgivet

    J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. / Danvy, Olivier; Shan, Chung-chieh; Zerny, Ian Steven.

    I: Lecture Notes in Computer Science, 2009, s. 1-19.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  34. Udgivet

    Peter J. Landin (1930-2009). / Danvy, Olivier.

    Proceedings of the Scheme and Functional Programming Workshop. red. / John Clements. California Polytechnic State University - San Luis Obispo, 2009. s. 126-129 (Cal Poly TR CPSLO-CSC, Bind 09-03).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  35. Udgivet

    Refunctionalization at Work. / Danvy, Olivier; Millikin, Kevin.

    I: Science of Computer Programming, Bind 74, Nr. 8, 2009, s. 534-549.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  36. Udgivet

    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. / Danvy, Olivier.

    I: Lecture Notes in Computer Science, Bind 5700, 2009, s. 162-185.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  37. Udgivet

    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. / Biernacka, Malgorzata; Danvy, Olivier.

    I: Lecture Notes in Computer Science, Bind 5700, 2009, s. 186-206.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  38. 2008
  39. Udgivet

    A Rational Deconstruction of Landin's SECD Machine with the J Operator. / Danvy, Olivier; Millikin, Kevin.

    I: Logical Methods in Computer Science, Bind 4, Nr. 4:12, 2008, s. 1.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  40. Udgivet

    Automatic Program Development : A Tribute to Robert Paige. / Danvy, Olivier (Redaktør); Henglein, Fritz (Redaktør); Mairson, Harry (Redaktør); Pettorossi, Alberto (Redaktør).

    Springer, 2008. 274 s.

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  41. Udgivet

    Defunctionalized Interpreters for Programming Languages. / Danvy, Olivier.

    I: A C M / S I G P L A N Notices, Nr. 9, 2008, s. 131-142.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  42. Udgivet

    Higher-Order and Symbolic Computation : Editorial. / Danvy, Olivier; Mason, Ian.

    I: Higher-Order and Symbolic Computation, Bind 21, Nr. 4, 2008, s. 359.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  43. Udgivet

    Higher-Order and Symbolic Computation. LISP and Symbolic Computationditorial. Editorial. / Danvy, Olivier; Dybvig, R. Kent; Lawall, Julia; Thiemann, Peter.

    I: Higher-Order and Symbolic Computation, Bind 21, Nr. 3, 2008, s. 237-238.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  44. Udgivet

    Inter-deriving Semantic Artifacts for Object-Oriented Programming. / Danvy, Olivier; Johannsen, Jacob.

    I: Lecture Notes in Computer Science, 2008, s. 1-16.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  45. Udgivet

    On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. / Danvy, Olivier; Millikin, Kevin.

    I: Information Processing Letters, Bind 106, Nr. 3, 2008, s. 100-109.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  46. Udgivet

    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. / Danvy, Olivier.

    Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming. red. / William Clinger. Association for Computing Machinery, 2008. s. 21-36.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  47. Udgivet

    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. / Biernacka, Malgorzata; Danvy, Olivier.

    Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming. red. / William Clinger. Association for Computing Machinery, 2008. s. 37-48.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  48. 2007
  49. Udgivet

    A Concrete Framework for Environment Machines. / Biernacka, Malgorzata; Danvy, Olivier.

    I: A C M Transactions on Computational Logic, Bind 9, Nr. 1, 2007, s. 1-30.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  50. Udgivet

    A Rational Deconstruction of Landin's J Operator. / Danvy, Olivier; Millikin, Kevin.

    I: Lecture Notes in Computer Science, Bind 4015, 2007, s. 55-73.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  51. Udgivet

    A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines. / Danvy, Olivier; Millikin, Kevin.

    I: B R I C S Report Series, Nr. RS-07-8, 2007.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  52. Udgivet

    A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. / Biernacka, Malgorzata; Danvy, Olivier.

    I: Theoretical Computer Science, Bind 375, Nr. 1-3, 2007, s. 76-108.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  53. Udgivet

    A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. / Biernacka, Malgorzata; Danvy, Olivier.

    I: Theoretical Computer Science, 2007, s. 76-108.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  54. Udgivet

    Festschrift for John C. Reynolds at the Occasion of his 70th Birthday. / Danvy, Olivier; O'Hearn, Peter; Wadler, Philip.

    Pergamon Press, 2007.

    Publikation: Bog/antologi/afhandling/rapportBogForskning

  55. Udgivet

    On Barron and Strachey's Cartesian Product Function : Possibly the world's first functional pearl. / Danvy, Olivier; Spivey, Mike.

    Proceedings of the 12th ACM SIGPLAN International Conference  on Functional Programming, ICFP 2007. red. / Ralf Hinze; Norman Ramsey. Association for Computing Machinery, 2007. s. 41-46.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  56. Udgivet

    On One-Pass CPS Transformations. / Danvy, Olivier; Millikin, Kevin.

    I: Journal of Functional Programming, Bind 17, Nr. 6, 2007, s. 793-812.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  57. Udgivet

    On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion. / Danvy, Olivier; Millikin, Kevin.

    I: B R I C S Report Series, Nr. RS-07-16, 2007, s. i-11.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  58. Udgivet

    Preface. / Danvy, Olivier; O'Hearn, Peter; Wadler, Philip.

    I: Theoretical Computer Science, Bind 375, Nr. 1-3, 2007, s. 1-2.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  59. Udgivet

    Refunctionalization at Work. / Danvy, Olivier; Millikin, Kevin.

    I: B R I C S Report Series, Nr. RS-07-7, 2007.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  60. 2006
  61. Udgivet

    Preface, Festschrift for John C. Reynolds's 70th birthday. / Danvy, Olivier (Redaktør); O’Hearn, Peter ; Wadler, Philip .

    Theoretical Computer Science, Volume 375, Issues 1–3, . Elsevier, 2006. s. 1-2.

    Publikation: Bidrag til bog/antologi/rapport/proceedingForord/efterskriftForskning

  62. Udgivet

    A Rational Deconstruction of Landin's J Operator. / Danvy, Olivier; Millikin, Kevin.

    I: B R I C S Report Series, Nr. RS-06-17, 2006.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  63. Udgivet

    A Simple Proof of a Folklore Theorem about Delimited Control. / Biernacki, Dariusz; Danvy, Olivier.

    I: Journal of Functional Programming, Bind 16, Nr. 3, 2006, s. 269-280.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  64. Udgivet

    An Analytical Approach to Program as Data Objects. / Danvy, Olivier.

    University of Aarhus : BRICS Research Series, 2006. 118 s.

    Publikation: Bog/antologi/afhandling/rapportDoktordisputatsForskning

  65. Udgivet

    Editorial. / Danvy, Olivier; de Moor, Oege; Padget, Julian; Thiemann, Peter.

    I: Higher-Order and Symbolic Computation, Bind 19, Nr. 1, 2006, s. 5-5.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  66. Udgivet

    Editorial. / Danvy, Olivier; Filinski, Andrzej; Giavitto, Jean-Louis; Moreau, Pierre-Etienne; Talcott, Carolyn.

    I: Higher-Order and Symbolic Computation, Bind 19, Nr. 1, 2006, s. 343-344.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  67. Udgivet

    Fast Partial Evaluation of Pattern Matching in Strings. / Ager, Mads Sig; Danvy, Olivier; Rohde, Henning Korsholm.

    I: A C M Transactions on Programming Languages and Systems, Bind 28, Nr. 4, 2006, s. 696-714.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  68. Udgivet

    Interview in popular science program at the Estonian National Radio. / Danvy, Olivier.

    2006, Lyd- og billedmedier.

    Publikation: AndetAndet bidragForskning

  69. Udgivet

    On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation. / Danvy, Olivier; Rohde, Henning Korsholm.

    I: Information Processing Letters, Bind 99, Nr. 4, 2006, s. 158-162.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  70. Udgivet

    On the Static and Dynamic Extents of Delimited Continuations. / Biernacki, Dariusz Piotr; Danvy, Olivier; Shan, Chung-chieh.

    I: Science of Computer Programming, Bind 60, Nr. 3, 2006, s. 274-297.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  71. 2005
  72. Udgivet

    A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. / Biernacki, Dariusz; Danvy, Olivier; Millikin, Kevin Scott.

    I: B R I C S Report Series, Nr. RS-05-16, 2005, s. 1-26.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  73. Udgivet

    A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. / Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan.

    I: Theoretical Computer Science, Bind 342, Nr. 1, 2005, s. 149-172.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  74. Udgivet

    A Simple Proof of a Folklore Theorem about Delimited Control. / Biernacki, Dariusz; Danvy, Olivier.

    I: B R I C S Report Series, Nr. RS-05-25, 2005.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  75. Udgivet

    A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. / Biernacka, Malgorzata; Danvy, Olivier.

    I: B R I C S Report Series, Nr. RS-05-38, 2005.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  76. Udgivet

    An Operational Foundation for Delimited Continuations in the CPS Hierarchy. / Biernacka, Malgorzata; Biernacki, Dariusz; Danvy, Olivier.

    I: Logical Methods in Computer Science, Bind 1, Nr. 2, 2005.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  77. Udgivet

    CPS Transformation of Beta-Redexes. / Danvy, Olivier; Nielsen, Lasse.

    I: Information Processing Letters, Bind 94, Nr. 5, 2005, s. 217-224.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  78. Udgivet

    Editorial. / Danvy, Olivier (Redaktør); Henglein, Fritz (Redaktør); Mairson, Harry (Redaktør); Pettorossi, Alberto (Redaktør).

    I: Higher-Order and Symbolic Computation, Bind 18, Nr. 1-2, 2005, s. 5-6.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  79. Udgivet

    Extracting Evaluators from Proofs of Weak Head Normalization. / Biernacka, Malgorzata; Danvy, Olivier; Sørensen, Kristian Støvring.

    Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2005.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  80. Udgivet

    From Reduction-based to Reduction-free Normalization. / Danvy, Olivier.

    I: Electronic Notes in Theoretical Computer Science, Bind 124, Nr. 2, 2005, s. 79-100.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  81. Udgivet

    On the Dynamic Extent of Delimited Continuations. / Biernacki, Dariusz; Danvy, Olivier; Shan, Ken.

    I: Information Processing Letters, Bind 96, Nr. 1, 2005, s. 7-17.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  82. Udgivet

    On the Static and Dynamic Extent of Delimited Continuations. / Biernacki, Dariusz; Danvy, Olivier.

    I: B R I C S Report Series, Nr. RS-05-36, 2005.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  83. Udgivet

    Program Extraction from Proofs of Weak Head Normalization. / Biernacka, Malgorzata; Danvy, Olivier; Støvring, Kristian.

    I: B R I C S Report Series, Nr. RS-05-12, 2005.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  84. Udgivet

    There and Back Again. / Danvy, Olivier; Goldberg, Mayer.

    I: Fundamenta Informaticae, Bind 66, Nr. 4, 2005, s. 397-413.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  85. 2004
  86. Udgivet

    A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. / Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan.

    I: Information Processing Letters, Bind 90, Nr. 5, 2004, s. 223-232.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  87. Udgivet

    A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. / Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan.

    I: B R I C S Report Series, Nr. RS-04-3, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  88. Udgivet

    A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. / Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan.

    I: B R I C S Report Series, Nr. RS-04-28, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  89. Udgivet

    An Operational Foundation for Delimited Continuations. / Biernacka, Malgorzata; Biernacki, Dariusz; Danvy, Olivier.

    Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations. Association for Computing Machinery, 2004. s. 25-33.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  90. Udgivet

    An Operational Foundation for Delimited Continuations in the CPS Hierarchy. / Biernacka, Malgorzata; Biernacki, Dariusz; Danvy, Olivier.

    I: B R I C S Report Series, Nr. RS-04-29, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  91. Udgivet

    CPS Transformation of Beta-Redexes. / Danvy, O.; Nielsen, L.R.

    I: B R I C S Report Series, Nr. RS-04-39, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  92. Udgivet

    Editorial. / Basin, D.A.; Danvy, O.; Harper, R.

    I: Higher-Order and Symbolic Computation, Bind 17, Nr. 3, 2004, s. 171-171.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskningpeer review

  93. Udgivet

    Editorial : Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. / Chin, W.; Danvy, O.; Thiemann, P.

    I: Higher-Order and Symbolic Computation, Bind 17, Nr. 1-2, 2004, s. 5-6.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  94. Udgivet

    Fast Partial Evaluation of Pattern Matching in Strings. / Ager, M.S.; Danvy, O.; Rohde, H.K.

    I: B R I C S Report Series, Nr. RS-04-40, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  95. Udgivet

    From Interpreter to Logic Engine by Defunctionalization. / Biernacki, Dariusz; Danvy, Olivier.

    I: B R I C S Report Series, Nr. RS-04-5, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  96. Udgivet

    From Interpreter to logic Engine by Defunctionalization. / Biernacki, Dariusz; Danvy, Olivier.

    Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. red. / Maurice Bruynooghe. Springer, 2004. s. 143-159 (Lecture Notes in Computer Science, Bind 3018).

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskning

  97. Udgivet

    From Reduction-Based to Reduction-Free Normalization. / Danvy, O.

    I: B R I C S Report Series, Nr. RS-04-30, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  98. Udgivet

    Lambda-Lifting in Quadratic Time. / Danvy, Olivier; Schultz, Ulrik Pagh.

    I: B R I C S Report Series, Nr. RS-04-12, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  99. Udgivet

    Lambda-lifting in Quadratic Time. / Danvy, O.; Schultz, U.P.

    I: Journal of Functional and Logic Programming (JFLP), Bind 2004, Nr. 1, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  100. Udgivet

    On Evaluation Contexts, Continuations, and the Rest of the Computation. / Danvy, Olivier.

    Ikke angivet. CSR-04-1 of Technical Reports. udg. School of Computer Science, University of Birmingham, 2004. s. 13-23.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  101. Udgivet

    Refocusing in Reduction Semantics. / Danvy, O.; Nielsen, L.R.

    I: B R I C S Report Series, Nr. RS-04-26, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  102. Udgivet

    Sur un Exemple de Patrick Greussay. / Danvy, O.

    I: B R I C S Report Series, Nr. RS-04-41, 2004.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  103. 2003
  104. Udgivet

    A First-Order One-Pass CPS Transformation. / Danvy, Olivier; Nielsen, Lasse Reichstein.

    I: Theoretical Computer Science, Bind 308, Nr. 1, 2003, s. 239-257.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  105. Udgivet

    A Functional Correspondence Between Evaluators and Abstract Machines. / Ager, Mads Sig; Biernacki, Dariusz; Danvy, Olivier; Midtgaard, Jan.

    Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming. red. / Konstantinos Sagonas; Dale Miller. Association for Computing Machinery, 2003. s. 8-19.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  106. Udgivet

    A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. / Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan.

    I: B R I C S Report Series, Nr. RS-03-24, 2003.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  107. Udgivet

    A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. / Ager, M.S.; Danvy, O.; Midtgaard, J.

    I: B R I C S Report Series, Nr. RS-03-35, 2003.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  108. Udgivet

    A Journey from Interpreters to Compilers and Virtual Machines. / Danvy, Olivier.

    Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings. red. / Frank Pfenning; Yannis Smaragdakis. Springer, 2003. s. 117 (Lecture Notes in Computer Science, Bind 2830).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  109. Udgivet

    A New One-Pass Transformation into Monadic Normal Form. / Danvy, Olivier.

    Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. red. / Görel Hedin. Springer, 2003. s. 77-89 (Lecture Notes in Computer Science, Bind 2622).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  110. Udgivet

    A Rational Deconstruction of Landin's SECD Machine. / Danvy, Olivier.

    I: B R I C S Report Series, Nr. RS-03-33, 2003.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  111. Udgivet

    An Operational Foundation for Delimited Continuations. / Biernacka, M.; Biernacki, D.; Danvy, O.

    I: B R I C S Report Series, Nr. RS-03-41, 2003.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  112. Udgivet

    CPS Transformation of Flow Information, Part II : Administrative Reductions. / Damian, D.; Danvy, Olivier.

    I: Journal of Functional Programming, Bind 13, Nr. 5, 2003, s. 925-933.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  113. Udgivet

    Fast Partial Evaluation of Pattern Matching in Strings. / Ager, Mads Sig; Danvy, Olivier; Rohde, Henning Korsholm.

    Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery, 2003. s. 3-9.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Forrige 1 2 3 Næste
1382 / i36