| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olivier Danvy, Jan Midtgaard |
Abstracting abstract machines: technical perspective.  |
Commun. ACM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Chung-chieh Shan (eds.) |
Proceedings IFIP Working Conference on Domain-Specific Languages |
DSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Jacob Johannsen, Ian Zerny |
A walk in the semantic park. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Pragmatics for formal semantics. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy (eds.) |
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 |
ICFP |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gul Agha, Olivier Danvy, José Meseguer (eds.) |
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday |
Formal Modeling: Actors, Open Systems, Biological Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Jacob Johannsen |
Inter-deriving semantic artifacts for object-oriented programming. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny |
Defunctionalized Interpreters for Call-by-Need Evaluation. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Ian Zerny |
Three Syntactic Theories for Combinatory Graph Reduction. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Kevin Millikin |
Refunctionalization at work. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Peter J. Landin (1930-2009). |
Higher-Order and Symbolic Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Julian A. Padget |
Editorial. |
Higher-Order and Symbolic Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Olivier Danvy |
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Chung-chieh Shan, Ian Zerny |
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Kevin Millikin |
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Kevin Millikin |
A Rational Deconstruction of Landin's SECD Machine with the J Operator. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Kevin Millikin |
A Rational Deconstruction of Landin's SECD Machine with the J Operator |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann |
Editorial. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Ian A. Mason |
Editorial. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Jacob Johannsen |
Inter-deriving Semantic Artifacts for Object-Oriented Programming. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Defunctionalized interpreters for programming languages. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics |
| 1 | Olivier Danvy |
From Reduction-Based to Reduction-Free Normalization. |
Advanced Functional Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Olivier Danvy |
A syntactic correspondence between context-sensitive calculi and abstract machines. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Peter W. O'Hearn, Philip Wadler |
Preface. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Hayo Thielecke |
Editorial. |
Higher-Order and Symbolic Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Editorial. |
Higher-Order and Symbolic Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Olivier Danvy |
A concrete framework for environment machines. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
closures, derivation, Abstract machines, explicit substitutions |
| 1 | Olivier Danvy, Kevin Millikin, Lasse R. Nielsen |
On one-pass CPS transformations. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, J. Michael Spivey |
On Barron and Strachey's cartesian product function. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
CPL |
| 1 | Olivier Danvy, Henning Korsholm Rohde |
On obtaining the Boyer-Moore string-matching algorithm by partial evaluation. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan |
On the static and dynamic extents of delimited continuations. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Olivier Danvy, Kristian Støvring |
Program Extraction From Proofs of Weak Head Normalization. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
Fast partial evaluation of pattern matching in strings. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Partial evaluation, string matching, memoization |
| 1 | Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann |
Editorial. |
Higher-Order and Symbolic Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Biernacki, Olivier Danvy |
Theoretical Pearl: A simple proof of a folklore theorem about delimited control. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Refunctionalization at Work. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan |
On the dynamic extent of delimited continuations. |
Inf. Process. Lett. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Lasse R. Nielsen |
CPS transformation of beta-redexes. |
Inf. Process. Lett. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Sig Ager, Olivier Danvy, Jan Midtgaard |
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy |
An Operational Foundation for Delimited Continuations in the CPS Hierarchy. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
From Reduction-based to Reduction-free Normalization. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Mayer Goldberg |
There and Back Again. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy |
An Operational Foundation for Delimited Continuations in the CPS Hierarchy |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi |
Editorial. |
Higher-Order and Symbolic Computation |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Benjamin C. Pierce (eds.) |
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 |
ICFP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy, Kevin Millikin |
A Rational Deconstruction of Landin's J Operator. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Sig Ager, Olivier Danvy, Jan Midtgaard |
A functional correspondence between call-by-need evaluators and lazy abstract machines. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Ulrik Pagh Schultz |
Lambda-Lifting in Quadratic Time. |
Journal of Functional and Logic Programming |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Olivier Danvy, Peter Thiemann |
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. |
Higher-Order and Symbolic Computation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Olivier Danvy, Robert Harper |
Editorial. |
Higher-Order and Symbolic Computation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Ian A. Mason |
Editorial. |
Higher-Order and Symbolic Computation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
A Rational Deconstruction of Landin's SECD Machine. |
IFL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Lasse R. Nielsen |
A first-order one-pass CPS transformation. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi |
Editorial: Special Issue Dedicated to Bob Paige. |
Higher-Order and Symbolic Computation |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Damian, Olivier Danvy |
CPS transformation of flow information, Part II: administrative reductions. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Damian, Olivier Danvy |
Syntactic accidents in program analysis: on the impact of the CPS transformation. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
Fast partial evaluation of pattern matching in strings. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
partial evaluation, string matching, memoization |
| 1 | Olivier Danvy |
A Journey from Interpreters to Compilers and Virtual Machines. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
A New One-Pass Transformation into Monadic Normal Form. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard |
A functional correspondence between evaluators and abstract machines. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion |
| 1 | Dariusz Biernacki, Olivier Danvy |
From Interpreter to Logic Engine by Defunctionalization. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Pablo E. Martínez López |
Tagging, Encoding, and Jones Optimality. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Damian, Olivier Danvy |
A Simple CPS Transformation of Control-Flow Information. |
Logic Journal of the IGPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Amr Sabry |
Editorial. |
Higher-Order and Symbolic Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Takayasu Ito, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
Knuth-Morris-Pratt string matching, data specialization, program specialization, trace semantics |
| 1 | Vincent Balat, Olivier Danvy |
Memoization in Type-Directed Partial Evaluation. |
GPCE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Mayer Goldberg |
There and back again. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
Catalan numbers, Symbolic convolutions, continuation-based programming, palindrome detection |
| 1 | Olivier Danvy, Ulrik Pagh Schultz |
Lambda-Lifting in Quadratic Time. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Sig Ager, Olivier Danvy, Mayer Goldberg |
A Symmetric Approach to Compilation and Decompilation. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær |
The Abstraction and Instantiation of String-Matching Programs. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Lasse R. Nielsen |
A First-Order One-Pass CPS Transformation. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Lasse R. Nielsen |
Syntactic Theories in Practice. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Takayasu Ito, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Julia L. Lawall |
Editorial. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Bernd Grobauer, Morten Rhiger |
A Unifying Approach to Goal-directed Evaluation. |
New Generation Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose |
Normalization by evaluation with typed abstract syntax. |
J. Funct. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Many Happy Returns. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Bernd Grobauer, Morten Rhiger |
A Unifying Approach to Goal-Directed Evaluation. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Damian, Olivier Danvy |
Static Transition Compression. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Andrzej Filinski (eds.) |
Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings |
PADO |
2001 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy, Lasse R. Nielsen |
A Higher-Order Colon Translation. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Morten Rhiger |
A Simple Take on Typed Abstract Syntax in Haskell-like Languages. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
Type-directed partial evaluation, normalization functions, simply typed lambda-calculus, Haskell, higher-order abstract syntax |
| 1 | Olivier Danvy, Lasse R. Nielsen |
Defunctionalization at Work. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy, Ulrik Pagh Schultz |
Lambda-dropping: transforming recursive equations into programs with block structure. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Damian, Olivier Danvy |
Syntactic accidents in program analysis: on the impact of the CPS transformation. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation |
| 1 | Olivier Danvy |
Formalizing Implementation Strategies for First-Class Continuations. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Belmina Dzafic, Frank Pfenning |
On proving syntactic properties of CPS programs. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")