Aarhus University Seal / Aarhus Universitets segl

Olivier Danvy

  1. 2015
  2. Published

    2015 Workshop on Continuations : pre-proceedings. / Danvy, Olivier (Editor).

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

    Research output: Book/anthology/dissertation/reportAnthologyResearchpeer-review

  3. Published

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

    In: A C M Transactions on Programming Languages and Systems, Vol. 38, No. 1, 2, 2015.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  4. Published

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

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

    Research output: Book/anthology/dissertation/reportReportResearch

  5. 2014
  6. Published

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

    In: Theoretical Computer Science, Vol. 546, No. August, 2014, p. 244–256.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  7. Published

    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. ed. / Gopal Gupta ; Ricardo Ricardo Peña. Springer VS, 2014. p. 91-98 (Lecture Notes in Computer Science, Vol. 8901).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  8. 2013
  9. Published

    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 . ed. / Ricardo Peña ; Tom Schrijvers. Association for Computing Machinery, 2013. p. 97-108.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  10. Published

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

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

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  11. Published

    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 (Editor); Danvy, Olivier (Editor); Doh, Kyung-Goo (Editor); Hatcliff , John (Editor).

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

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  12. Published

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

    In: A C M Transactions on Computational Logic, Vol. 14, No. 4, 29, 2013.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  13. 2012
  14. Published

    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.

    In: Theoretical Computer Science, Vol. 435, 2012, p. 21–42.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  15. 2011
  16. Published

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

    In: Journal of Formalized Reasoning, Vol. 4, No. 1, 2011, p. 85-109.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  17. Published

    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 . ed. / Siau-Cheng Khoo; Jeremy Siek. Association for Computing Machinery, 2011. p. 1-12.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  18. Published

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

    In: Association for Computing Machinery. Communications, Vol. 54, No. 9, 2011, p. 100-100.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperLiterature reviewResearchpeer-review

  19. Published

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

    Springer, 2011. 445 p. (Lecture Notes in Computer Science; No. 7000).

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  20. Published

    Pragmatics for formal semantics. / Danvy, Olivier.

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

    Research output: Contribution to book/anthology/report/proceedingConference abstract in proceedingsResearchpeer-review

  21. Published

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

    2011. 260 p.

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  22. Published

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

    Association for Computing Machinery, 2011. 458 p.

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  23. Published

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

    In: Lecture Notes in Computer Science, Vol. 6564, 2011, p. 1-20.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  24. 2010
  25. Published

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

    In: Lecture Notes in Computer Science, Vol. 6009, 2010, p. 240-256.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  26. Published

    Editorial. / Danvy, Olivier; Talcott, Carolyn.

    In: Higher-Order and Symbolic Computation, Vol. 22, No. 4, 2010, p. 293.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  27. Published

    Editorial. / Danvy, Olivier; Talcott, Carolyn.

    In: Higher-Order and Symbolic Computation, Vol. 22, No. 3, 2010, p. 197.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  28. Published

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

    In: Journal of Computer and System Sciences, Vol. 76, No. 5, 2010, p. 302-323.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  29. 2009
  30. Published

    Editorial. / Danvy, Olivier; Talcott, Carolyn.

    In: Higher-Order and Symbolic Computation, Vol. 22, No. 2, 2009, p. 113-113.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  31. Published

    Editorial. / Danvy, Olivier; Padget, John.

    In: Higher-Order and Symbolic Computation, Vol. 22, No. 1, 2009, p. 1-1.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  32. Published

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

    In: Lecture Notes in Computer Science, 2009, p. 66-164.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  33. Published

    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.

    In: Lecture Notes in Computer Science, 2009, p. 1-19.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  34. Published

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

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

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  35. Published

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

    In: Science of Computer Programming, Vol. 74, No. 8, 2009, p. 534-549.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  36. Published

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

    In: Lecture Notes in Computer Science, Vol. 5700, 2009, p. 162-185.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  37. Published

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

    In: Lecture Notes in Computer Science, Vol. 5700, 2009, p. 186-206.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  38. 2008
  39. Published

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

    In: Logical Methods in Computer Science, Vol. 4, No. 4:12, 2008, p. 1.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  40. Published

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

    Springer, 2008. 274 p.

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  41. Published

    Defunctionalized Interpreters for Programming Languages. / Danvy, Olivier.

    In: A C M / S I G P L A N Notices, No. 9, 2008, p. 131-142.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  42. Published

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

    In: Higher-Order and Symbolic Computation, Vol. 21, No. 4, 2008, p. 359.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  43. Published

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

    In: Higher-Order and Symbolic Computation, Vol. 21, No. 3, 2008, p. 237-238.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  44. Published

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

    In: Lecture Notes in Computer Science, 2008, p. 1-16.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  45. Published

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

    In: Information Processing Letters, Vol. 106, No. 3, 2008, p. 100-109.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  46. Published

    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. ed. / William Clinger. Association for Computing Machinery, 2008. p. 21-36.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  47. Published

    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. ed. / William Clinger. Association for Computing Machinery, 2008. p. 37-48.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  48. 2007
  49. Published

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

    In: A C M Transactions on Computational Logic, Vol. 9, No. 1, 2007, p. 1-30.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  50. Published

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

    In: Lecture Notes in Computer Science, Vol. 4015, 2007, p. 55-73.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  51. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  52. Published

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

    In: Theoretical Computer Science, Vol. 375, No. 1-3, 2007, p. 76-108.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  53. Published

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

    In: Theoretical Computer Science, 2007, p. 76-108.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  54. Published

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

    Pergamon Press, 2007.

    Research output: Book/anthology/dissertation/reportBookResearch

  55. Published

    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. ed. / Ralf Hinze; Norman Ramsey. Association for Computing Machinery, 2007. p. 41-46.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  56. Published

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

    In: Journal of Functional Programming, Vol. 17, No. 6, 2007, p. 793-812.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  57. Published

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

    In: B R I C S Report Series, No. RS-07-16, 2007, p. i-11.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  58. Published

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

    In: Theoretical Computer Science, Vol. 375, No. 1-3, 2007, p. 1-2.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  59. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  60. 2006
  61. Published

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

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

    Research output: Contribution to book/anthology/report/proceedingPreface/postscriptResearch

  62. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  63. Published

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

    In: Journal of Functional Programming, Vol. 16, No. 3, 2006, p. 269-280.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  64. Published

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

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

    Research output: Book/anthology/dissertation/reportDoctoral thesisResearch

  65. Published

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

    In: Higher-Order and Symbolic Computation, Vol. 19, No. 1, 2006, p. 5-5.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  66. Published

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

    In: Higher-Order and Symbolic Computation, Vol. 19, No. 1, 2006, p. 343-344.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  67. Published

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

    In: A C M Transactions on Programming Languages and Systems, Vol. 28, No. 4, 2006, p. 696-714.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  68. Published

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

    2006, Lyd- og billedmedier.

    Research output: Other contributionResearch

  69. Published

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

    In: Information Processing Letters, Vol. 99, No. 4, 2006, p. 158-162.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  70. Published

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

    In: Science of Computer Programming, Vol. 60, No. 3, 2006, p. 274-297.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  71. 2005
  72. Published

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

    In: B R I C S Report Series, No. RS-05-16, 2005, p. 1-26.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  73. Published

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

    In: Theoretical Computer Science, Vol. 342, No. 1, 2005, p. 149-172.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  74. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  75. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  76. Published

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

    In: Logical Methods in Computer Science, Vol. 1, No. 2, 2005.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  77. Published

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

    In: Information Processing Letters, Vol. 94, No. 5, 2005, p. 217-224.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  78. Published

    Editorial. / Danvy, Olivier (Editor); Henglein, Fritz (Editor); Mairson, Harry (Editor); Pettorossi, Alberto (Editor).

    In: Higher-Order and Symbolic Computation, Vol. 18, No. 1-2, 2005, p. 5-6.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  79. Published

    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.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  80. Published

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

    In: Electronic Notes in Theoretical Computer Science, Vol. 124, No. 2, 2005, p. 79-100.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  81. Published

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

    In: Information Processing Letters, Vol. 96, No. 1, 2005, p. 7-17.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  82. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  83. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  84. Published

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

    In: Fundamenta Informaticae, Vol. 66, No. 4, 2005, p. 397-413.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  85. 2004
  86. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  87. Published

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

    In: Information Processing Letters, Vol. 90, No. 5, 2004, p. 223-232.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  88. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  89. Published

    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. p. 25-33.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  90. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  91. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  92. Published

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

    In: Higher-Order and Symbolic Computation, Vol. 17, No. 1-2, 2004, p. 5-6.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearch

  93. Published

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

    In: Higher-Order and Symbolic Computation, Vol. 17, No. 3, 2004, p. 171-171.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperEditorialResearchpeer-review

  94. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  95. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  96. Published

    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. ed. / Maurice Bruynooghe. Springer, 2004. p. 143-159 (Lecture Notes in Computer Science, Vol. 3018).

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

  97. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  98. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  99. Published

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

    In: Journal of Functional and Logic Programming (JFLP), Vol. 2004, No. 1, 2004.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  100. Published

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

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

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  101. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  102. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  103. 2003
  104. Published

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

    In: Theoretical Computer Science, Vol. 308, No. 1, 2003, p. 239-257.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  105. Published

    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. ed. / Konstantinos Sagonas; Dale Miller. Association for Computing Machinery, 2003. p. 8-19.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  106. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  107. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  108. Published

    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. ed. / Frank Pfenning; Yannis Smaragdakis. Springer, 2003. p. 117 (Lecture Notes in Computer Science, Vol. 2830).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  109. Published

    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. ed. / Görel Hedin. Springer, 2003. p. 77-89 (Lecture Notes in Computer Science, Vol. 2622).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  110. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  111. Published

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

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

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  112. Published

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

    In: Journal of Functional Programming, Vol. 13, No. 5, 2003, p. 925-933.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  113. Published

    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. p. 3-9.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Previous 1 2 3 Next