Olivier Danvy

According to our database, Olivier Danvy authored at least 131 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

The Tortoise and the Hare Algorithm for Finite Lists, Compositionally.

Olivier Danvy

ACM Trans. Program. Lang. Syst., March, 2023

Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM.

Olivier Danvy

J. Funct. Program., 2023

Folding left and right matters: Direct style, accumulators, and continuations.

Olivier Danvy

J. Funct. Program., 2023

A Deforestation of Reducts: Refocusing.

Olivier Danvy

CoRR, 2023

2022

Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant.

Olivier Danvy

J. Funct. Program., 2022

Getting There and Back Again.

Olivier Danvy

Fundam. Informaticae, 2022

2019

Folding left and right over Peano numbers.

Olivier Danvy

J. Funct. Program., 2019

Mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate students.

Olivier Danvy

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2015

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations.

Dariusz Biernacki, Olivier Danvy, Kevin Millikin

ACM Trans. Program. Lang. Syst., 2015

2014

A characterization of Moessner's sieve.

Christian Clausen, Olivier Danvy, Moe Masuko

Theor. Comput. Sci., 2014

Typeful Normalization by Evaluation.

Olivier Danvy, Chantal Keller, Matthias Puech

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

2013

Three syntactic theories for combinatory graph reduction.

Olivier Danvy, Ian Zerny

ACM Trans. Comput. Log., 2013

A synthetic operational account of call-by-need evaluation.

Olivier Danvy, Ian Zerny

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

From Outermost Reduction Semantics to Abstract Machine.

Olivier Danvy, Jacob Johannsen

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

Circularity and Lambda Abstraction: From Bird to Pettorossi and back.

Olivier Danvy, Peter Thiemann, Ian Zerny

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

2012

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation.

Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny

Theor. Comput. Sci., 2012

On submissions and resubmissions.

Olivier Danvy

ACM SIGPLAN Notices, 2012

2011

A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration.

Luca Chiarabini, Olivier Danvy

J. Formaliz. Reason., 2011

Abstracting abstract machines: technical perspective.

Olivier Danvy, Jan Midtgaard

Commun. ACM, 2011

A walk in the semantic park.

Olivier Danvy, Jacob Johannsen, Ian Zerny

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Pragmatics for formal semantics.

Olivier Danvy

Proceedings of the Generative Programming And Component Engineering, 2011

2010

Inter-deriving semantic artifacts for object-oriented programming.

Olivier Danvy, Jacob Johannsen

J. Comput. Syst. Sci., 2010

Defunctionalized Interpreters for Call-by-Need Evaluation.

Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Refunctionalization at work.

Olivier Danvy, Kevin Millikin

Sci. Comput. Program., 2009

Editorial.

Olivier Danvy, Carolyn L. Talcott

High. Order Symb. Comput., 2009

Editorial.

Olivier Danvy, Julian A. Padget

High. Order Symb. Comput., 2009

Peter J. Landin (1930-2009).

Olivier Danvy

High. Order Symb. Comput., 2009

J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.

Olivier Danvy, Chung-chieh Shan, Ian Zerny

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

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

Olivier Danvy

Proceedings of the Semantics and Algebraic Specification, 2009

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.

Malgorzata Biernacka, Olivier Danvy

Proceedings of the Semantics and Algebraic Specification, 2009

2008

A Rational Deconstruction of Landin's SECD Machine with the J Operator.

Olivier Danvy, Kevin Millikin

Log. Methods Comput. Sci., 2008

Editorial.

Olivier Danvy, Ian A. Mason

High. Order Symb. Comput., 2008

Editorial.

Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann

High. Order Symb. Comput., 2008

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion.

Olivier Danvy, Kevin Millikin

Inf. Process. Lett., 2008

Defunctionalized interpreters for programming languages.

Olivier Danvy

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

A concrete framework for environment machines.

Malgorzata Biernacka, Olivier Danvy

ACM Trans. Comput. Log., 2007

Preface.

Olivier Danvy, Peter W. O'Hearn, Philip Wadler

Theor. Comput. Sci., 2007

A syntactic correspondence between context-sensitive calculi and abstract machines.

Malgorzata Biernacka, Olivier Danvy

Theor. Comput. Sci., 2007

Editorial.

Olivier Danvy, Hayo Thielecke

High. Order Symb. Comput., 2007

Editorial.

Olivier Danvy

High. Order Symb. Comput., 2007

On one-pass CPS transformations.

Olivier Danvy, Kevin Millikin, Lasse R. Nielsen

J. Funct. Program., 2007

On Barron and Strachey's cartesian product function.

Olivier Danvy, J. Michael Spivey

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Fast partial evaluation of pattern matching in strings.

Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde

ACM Trans. Program. Lang. Syst., 2006

On the static and dynamic extents of delimited continuations.

Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan

Sci. Comput. Program., 2006

Editorial.

Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann

High. Order Symb. Comput., 2006

Editorial.

Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott

High. Order Symb. Comput., 2006

Theoretical Pearl: A simple proof of a folklore theorem about delimited control.

Dariusz Biernacki, Olivier Danvy

J. Funct. Program., 2006

On obtaining the Boyer-Moore string-matching algorithm by partial evaluation.

Olivier Danvy, Henning Korsholm Rohde

Inf. Process. Lett., 2006

Refunctionalization at Work.

Olivier Danvy

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

2005

A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.

Mads Sig Ager, Olivier Danvy, Jan Midtgaard

Theor. Comput. Sci., 2005

An Operational Foundation for Delimited Continuations in the CPS Hierarchy.

Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy

Log. Methods Comput. Sci., 2005

Editorial.

Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi

High. Order Symb. Comput., 2005

CPS transformation of beta-redexes.

Olivier Danvy, Lasse R. Nielsen

Inf. Process. Lett., 2005

On the dynamic extent of delimited continuations.

Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan

Inf. Process. Lett., 2005

There and Back Again.

Olivier Danvy, Mayer Goldberg

Fundam. Informaticae, 2005

Program Extraction From Proofs of Weak Head Normalization.

Malgorzata Biernacka, Olivier Danvy, Kristian Støvring

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

A Rational Deconstruction of Landin's J Operator.

Olivier Danvy, Kevin Millikin

Proceedings of the Implementation and Application of Functional Languages, 2005

2004

Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation.

Wei-Ngan Chin, Olivier Danvy, Peter Thiemann

High. Order Symb. Comput., 2004

Editorial.

David A. Basin, Olivier Danvy, Robert Harper

High. Order Symb. Comput., 2004

Lambda-Lifting in Quadratic Time.

Olivier Danvy, Ulrik Pagh Schultz

J. Funct. Log. Program., 2004

A functional correspondence between call-by-need evaluators and lazy abstract machines.

Mads Sig Ager, Olivier Danvy, Jan Midtgaard

Inf. Process. Lett., 2004

From Reduction-based to Reduction-free Normalization.

Olivier Danvy

Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004

A Rational Deconstruction of Landin's SECD Machine.

Olivier Danvy

Proceedings of the Implementation and Application of Functional Languages, 2004

2003

A first-order one-pass CPS transformation.

Olivier Danvy, Lasse R. Nielsen

Theor. Comput. Sci., 2003

Editorial: Special Issue Dedicated to Bob Paige.

Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi

High. Order Symb. Comput., 2003

CPS transformation of flow information, Part II: administrative reductions.

Daniel Damian, Olivier Danvy

J. Funct. Program., 2003

Syntactic accidents in program analysis: on the impact of the CPS transformation.

Daniel Damian, Olivier Danvy

J. Funct. Program., 2003

A functional correspondence between evaluators and abstract machines.

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

From Interpreter to Logic Engine by Defunctionalization.

Dariusz Biernacki, Olivier Danvy

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

A Journey from Interpreters to Compilers and Virtual Machines.

Olivier Danvy

Proceedings of the Generative Programming and Component Engineering, 2003

Tagging, Encoding, and Jones Optimality.

Olivier Danvy, Pablo E. Martínez López

Proceedings of the Programming Languages and Systems, 2003

A New One-Pass Transformation into Monadic Normal Form.

Olivier Danvy

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Editorial.

Olivier Danvy, Amr Sabry

High. Order Symb. Comput., 2002

A Simple CPS Transformation of Control-Flow Information.

Daniel Damian, Olivier Danvy

Log. J. IGPL, 2002

On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.

Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

Memoization in Type-Directed Partial Evaluation.

Vincent Balat, Olivier Danvy

Proceedings of the Generative Programming and Component Engineering, 2002

The Abstraction and Instantiation of String-Matching Programs.

Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

A Symmetric Approach to Compilation and Decompilation.

Mads Sig Ager, Olivier Danvy, Mayer Goldberg

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Syntactic Theories in Practice.

Olivier Danvy, Lasse R. Nielsen

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

A Unifying Approach to Goal-directed Evaluation.

Olivier Danvy, Bernd Grobauer, Morten Rhiger

New Gener. Comput., 2001

Editorial.

Olivier Danvy, Julia L. Lawall

High. Order Symb. Comput., 2001

Editorial.

Olivier Danvy, Takayasu Ito, Carolyn L. Talcott

High. Order Symb. Comput., 2001

Normalization by evaluation with typed abstract syntax.

Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose

J. Funct. Program., 2001

Many Happy Returns.

Olivier Danvy

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

Static Transition Compression.

Daniel Damian, Olivier Danvy

Proceedings of the Semantics, 2001

Defunctionalization at Work.

Olivier Danvy, Lasse R. Nielsen

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

A Simple Take on Typed Abstract Syntax in Haskell-like Languages.

Olivier Danvy, Morten Rhiger

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

A Higher-Order Colon Translation.

Olivier Danvy, Lasse R. Nielsen

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

Lambda-dropping: transforming recursive equations into programs with block structure.

Olivier Danvy, Ulrik Pagh Schultz

Theor. Comput. Sci., 2000

Formalizing Implementation Strategies for First-Class Continuations.

Olivier Danvy

Proceedings of the Programming Languages and Systems, 2000

1999

Introduction.

Olivier Danvy, Carolyn L. Talcott

High. Order Symb. Comput., 1999

On proving syntactic properties of CPS programs.

Olivier Danvy, Belmina Dzafic, Frank Pfenning

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping.

Olivier Danvy

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

An Operational Investigation of the CPS Hierarchy.

Olivier Danvy, Zhe Yang

Proceedings of the Programming Languages and Systems, 1999

1998

Functional Unparsing.

Olivier Danvy

J. Funct. Program., 1998

1998 Symposium on Partial Evaluation.

Olivier Danvy, Robert Glück, Peter Thiemann

ACM Comput. Surv., 1998

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.

Vincent Balat, Olivier Danvy

Proceedings of the Types in Compilation, Second International Workshop, 1998

Higher-Order Rewriting and Partial Evaluation.

Olivier Danvy, Kristoffer Høgsbro Rose

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

Type-Directed Partial Evaluation.

Olivier Danvy

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

A Simple Solution to Type Specialization.

Olivier Danvy

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Online Type-Directed Partial Evaluation.

Olivier Danvy

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1997

A Computational Formalization for Partial Evaluation.

John Hatcliff, Olivier Danvy

Math. Struct. Comput. Sci., 1997

Partial Evaluation of the Euclidian Algorithm.

Olivier Danvy, Mayer Goldberg

LISP Symb. Comput., 1997

Thunks and the lambda-Calculus.

John Hatcliff, Olivier Danvy

J. Funct. Program., 1997

1996

Eta-Expansion Does The Trick.

Olivier Danvy, Karoline Malmkjær, Jens Palsberg

ACM Trans. Program. Lang. Syst., 1996

Resource-Bounded Partial Evaluation.

Olivier Danvy, Nevin Hentze, Karoline Malmkjær

ACM Comput. Surv., 1996

Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation.

Olivier Danvy, René Vestergaard

Proceedings of the Programming Languages: Implementations, 1996

Pragmatics of Type-Directed Partial Evaluation.

Olivier Danvy

Proceedings of the Partial Evaluation, International Seminar, 1996

1995

The Essence of Eta-Expansion in Partial Evaluation.

Olivier Danvy, Karoline Malmkjær, Jens Palsberg

LISP Symb. Comput., 1995

1994

Back to Direct Style.

Olivier Danvy

Sci. Comput. Program., 1994

A Generic Account of Continuation-Passing Styles.

John Hatcliff, Olivier Danvy

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Continuation-Based Partial Evaluation.

Julia L. Lawall, Olivier Danvy

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

Partial Evaluation for Program Speedups.

Olivier Danvy

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993

Separating Stages in the Continuation-Passing Style Transformation.

Julia L. Lawall, Olivier Danvy

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Tutorial Notes on Partial Evaluation.

Charles Consel, Olivier Danvy

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

On the Transformation between Direct and Continuation Semantics.

Olivier Danvy, John Hatcliff

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992

Representing Control: A Study of the CPS Transformation.

Olivier Danvy, Andrzej Filinski

Math. Struct. Comput. Sci., 1992

CPS-Transformation After Strictness Analysis.

Olivier Danvy, John Hatcliff

LOPLAS, 1992

Partial Evaluation in Parallel.

Charles Consel, Olivier Danvy

LISP Symb. Comput., 1992

Thunks (Continued).

Olivier Danvy, John Hatcliff

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Back to Direct Style II: First-Class Continuations.

Olivier Danvy, Julia L. Lawall

Proceedings of the Conference on Lisp and Functional Programming, 1992

1991

Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types.

Anders Bondorf, Olivier Danvy

Sci. Comput. Program., 1991

Semantics-Directed Compilation of Nonlinear Patterns.

Olivier Danvy

Inf. Process. Lett., 1991

Static and Dynamic Semantics Processing.

Charles Consel, Olivier Danvy

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

For a Better Support of Static Data Flow.

Charles Consel, Olivier Danvy

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Abstracting Control.

Olivier Danvy, Andrzej Filinski

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

A Self-Applicable Partial Evaluator for the Lambda Calculus.

Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

From Interpreting to Compiling Binding Times.

Charles Consel, Olivier Danvy

Proceedings of the ESOP'90, 1990

1989

Partial Evaluation of Pattern Matching in Strings.

Charles Consel, Olivier Danvy

Inf. Process. Lett., 1989

1988

Intensions and Extensions in a Reflective Tower.

Olivier Danvy, Karoline Malmkjær

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

Memory allocation and higher-order functions.

Olivier Danvy

Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987