×

zbMATH — the first resource for mathematics

Danvy, Olivier

Compute Distance To:
Author ID: danvy.olivier Recent zbMATH articles by "Danvy, Olivier"
Published as: Danvy, O.; Danvy, Olivier
External Links: MGP · Wikidata · dblp
Documents Indexed: 72 Publications since 1991, including 3 Books

Publications by Year

Citations contained in zbMATH Open

51 Publications have been cited 252 times in 108 Documents Cited by Year
Representing control: A study of the CPS transformation. Zbl 0798.68102
Danvy, Olivier; Filinski, Andrzej
28
1992
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Zbl 1077.68029
Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan
15
2005
A syntactic correspondence between context-sensitive calculi and abstract machines. Zbl 1111.68065
Biernacka, Małgorzata; Danvy, Olivier
14
2007
A functional correspondence between call-by-need evaluators and lazy abstract machines. Zbl 1178.68249
Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan
12
2004
Automatic autoprojection of recursive equations with global variables and abstract data types. Zbl 0745.68073
Bondorf, Anders; Danvy, Olivier
11
1991
From reduction-based to reduction-free normalization. Zbl 1263.68036
Danvy, Olivier
10
2009
An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050
Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier
10
2005
Back to direct style. Zbl 0808.68051
Danvy, Olivier
10
1994
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. Zbl 1186.68122
Danvy, Olivier; Millikin, Kevin
8
2008
A rational deconstruction of Landin’s SECD machine with the J operator. Zbl 1161.68012
Danvy, Olivier; Millikin, Kevin
8
2008
A concrete framework for environment machines. Zbl 1367.68093
Biernacka, Małgorzata; Danvy, Olivier
8
2007
A rational deconstruction of Landin’s SECD machine. Zbl 1119.68330
Danvy, Olivier
8
2005
Refunctionalization at work. Zbl 1192.68115
Danvy, Olivier; Millikin, Kevin
6
2009
CPS transformation of beta-redexes. Zbl 1182.68045
Danvy, Olivier; Nielsen, Lasse R.
6
2005
From interpreter to logic engine by defunctionalization. Zbl 1099.68546
Biernacki, Dariusz; Danvy, Olivier
6
2004
Memoization in type-directed partial evaluation. Zbl 1028.68667
Balat, Vincent; Danvy, Olivier
6
2002
Functional unparsing. Zbl 0928.68018
Danvy, Olivier
6
1998
Thunks and the \(\lambda\)-calculus. Zbl 0881.68025
Hatcliff, John; Danvy, Olivier
6
1997
On the static and dynamic extents of delimited continuations. Zbl 1101.68442
Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-Chieh
5
2006
A simple proof of a folklore theorem about delimited control. Zbl 1092.68021
Biernacki, Dariusz; Danvy, Olivier
5
2006
A computational formalization for partial evaluation. Zbl 0883.68091
Hatcliff, John; Danvy, Olivier
5
1997
A first-order one-pass CPS transformation. Zbl 1049.03013
Danvy, Olivier; Nielsen, Lasse R.
4
2003
Defunctionalized interpreters for call-by-need evaluation. Zbl 1284.68129
Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian
3
2010
On the dynamic extent of delimited continuations. Zbl 1191.68157
Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-Chieh
3
2005
There and back again. Zbl 1098.68021
Danvy, Olivier; Goldberg, Mayer
3
2005
Syntactic accidents in program analysis: On the impact of the CPS transformation. Zbl 1110.68357
Damain, Daniel; Danvy, Olivier
3
2003
The abstraction and instantiation of string-matching programs. Zbl 1026.68508
Amtoft, Torben; Consel, Charles; Danvy, Olivier; Malmkjær, Karoline
3
2002
Syntactic theories in practice. Zbl 1268.68065
Danvy, Olivier; Nielsen, Lasse R.
3
2001
A higher-order colon translation. Zbl 0977.68009
Danvy, Olivier; Nielsen, Lasse R.
3
2001
Lambda-dropping: Transforming recursive equations into programs with block structure. Zbl 0949.68046
Danvy, O.; Schultz, U. P.
3
2000
On proving syntactic properties of CPS programs. Zbl 0958.68022
Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank
3
1999
On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation. Zbl 1244.68026
Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian
2
2012
Three syntactic theories for combinatory graph reduction. Zbl 1326.68090
Danvy, Olivier; Zerny, Ian
2
2011
On one-pass CPS transformations. Zbl 1130.68037
Danvy, Olivier; Millikin, Kevin; Nielsen, Lasse R.
2
2007
Program extraction from proofs of weak head normalization. Zbl 1273.03098
Biernacka, Małgorzata; Danvy, Olivier; Støvring, Kristian
2
2006
From reduction-based to reduction-free normalization. Zbl 1272.68176
Danvy, Olivier
2
2005
Lambda-lifting in quadratic time. Zbl 1084.68516
Danvy, Olivier; Schultz, Ulrik P.
2
2004
Formalizing implementation strategies for first-class continuations. Zbl 0960.68031
Danvy, Olivier
2
2000
An extensional characterization of lambda-lifting and lambda-dropping. Zbl 0988.68525
Danvy, Olivier
2
1999
From outermost reduction semantics to abstract machine. Zbl 1453.68045
Danvy, Olivier; Johannsen, Jacob
1
2014
Inter-deriving semantic artifacts for object-oriented programming. Zbl 1206.68079
Danvy, Olivier; Johannsen, Jacob
1
2010
Inter-deriving semantic artifacts for object-oriented programming. (Extended abstract). Zbl 1155.68355
Danvy, Olivier; Johannsen, Jacob
1
2008
On Barron and Strachey’s Cartesian product function. Zbl 1291.68115
Danvy, Olivier; Spivey, Michael
1
2007
A rational deconstruction of Landin’s J operator. Zbl 1236.68026
Danvy, Olivier; Millikin, Kevin
1
2006
Tagging, encoding, and Jones optimality. Zbl 1032.68571
Danvy, Olivier; López, Pablo E. Martínez
1
2003
A new one-pass transformation into monadic normal form. Zbl 1032.68844
Danvy, Olivier
1
2003
Lambda-lifting in quadratic time. Zbl 1019.68522
Danvy, Olivier; Schultz, Ulrik P.
1
2002
A simple CPS transformation of control-flow information. Zbl 1009.68025
Damian, Daniel; Danvy, Olivier
1
2002
Normalization by evaluation with typed abstract syntax. Zbl 1037.68095
Danvy, Olivier; Rhiger, Morten; Rose, Kristoffer H.
1
2001
Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21–23, 2001. Proceedings. Zbl 0961.00027
Danvy, Olivier (ed.); Filinski, Andrzej (ed.)
1
2001
Syntactic accidents in program analysis: on the impact of the CPS transformation. Zbl 1321.68179
Damian, Daniel; Danvy, Olivier
1
2000
From outermost reduction semantics to abstract machine. Zbl 1453.68045
Danvy, Olivier; Johannsen, Jacob
1
2014
On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation. Zbl 1244.68026
Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian
2
2012
Three syntactic theories for combinatory graph reduction. Zbl 1326.68090
Danvy, Olivier; Zerny, Ian
2
2011
Defunctionalized interpreters for call-by-need evaluation. Zbl 1284.68129
Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian
3
2010
Inter-deriving semantic artifacts for object-oriented programming. Zbl 1206.68079
Danvy, Olivier; Johannsen, Jacob
1
2010
From reduction-based to reduction-free normalization. Zbl 1263.68036
Danvy, Olivier
10
2009
Refunctionalization at work. Zbl 1192.68115
Danvy, Olivier; Millikin, Kevin
6
2009
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. Zbl 1186.68122
Danvy, Olivier; Millikin, Kevin
8
2008
A rational deconstruction of Landin’s SECD machine with the J operator. Zbl 1161.68012
Danvy, Olivier; Millikin, Kevin
8
2008
Inter-deriving semantic artifacts for object-oriented programming. (Extended abstract). Zbl 1155.68355
Danvy, Olivier; Johannsen, Jacob
1
2008
A syntactic correspondence between context-sensitive calculi and abstract machines. Zbl 1111.68065
Biernacka, Małgorzata; Danvy, Olivier
14
2007
A concrete framework for environment machines. Zbl 1367.68093
Biernacka, Małgorzata; Danvy, Olivier
8
2007
On one-pass CPS transformations. Zbl 1130.68037
Danvy, Olivier; Millikin, Kevin; Nielsen, Lasse R.
2
2007
On Barron and Strachey’s Cartesian product function. Zbl 1291.68115
Danvy, Olivier; Spivey, Michael
1
2007
On the static and dynamic extents of delimited continuations. Zbl 1101.68442
Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-Chieh
5
2006
A simple proof of a folklore theorem about delimited control. Zbl 1092.68021
Biernacki, Dariusz; Danvy, Olivier
5
2006
Program extraction from proofs of weak head normalization. Zbl 1273.03098
Biernacka, Małgorzata; Danvy, Olivier; Støvring, Kristian
2
2006
A rational deconstruction of Landin’s J operator. Zbl 1236.68026
Danvy, Olivier; Millikin, Kevin
1
2006
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Zbl 1077.68029
Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan
15
2005
An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050
Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier
10
2005
A rational deconstruction of Landin’s SECD machine. Zbl 1119.68330
Danvy, Olivier
8
2005
CPS transformation of beta-redexes. Zbl 1182.68045
Danvy, Olivier; Nielsen, Lasse R.
6
2005
On the dynamic extent of delimited continuations. Zbl 1191.68157
Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-Chieh
3
2005
There and back again. Zbl 1098.68021
Danvy, Olivier; Goldberg, Mayer
3
2005
From reduction-based to reduction-free normalization. Zbl 1272.68176
Danvy, Olivier
2
2005
A functional correspondence between call-by-need evaluators and lazy abstract machines. Zbl 1178.68249
Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan
12
2004
From interpreter to logic engine by defunctionalization. Zbl 1099.68546
Biernacki, Dariusz; Danvy, Olivier
6
2004
Lambda-lifting in quadratic time. Zbl 1084.68516
Danvy, Olivier; Schultz, Ulrik P.
2
2004
A first-order one-pass CPS transformation. Zbl 1049.03013
Danvy, Olivier; Nielsen, Lasse R.
4
2003
Syntactic accidents in program analysis: On the impact of the CPS transformation. Zbl 1110.68357
Damain, Daniel; Danvy, Olivier
3
2003
Tagging, encoding, and Jones optimality. Zbl 1032.68571
Danvy, Olivier; López, Pablo E. Martínez
1
2003
A new one-pass transformation into monadic normal form. Zbl 1032.68844
Danvy, Olivier
1
2003
Memoization in type-directed partial evaluation. Zbl 1028.68667
Balat, Vincent; Danvy, Olivier
6
2002
The abstraction and instantiation of string-matching programs. Zbl 1026.68508
Amtoft, Torben; Consel, Charles; Danvy, Olivier; Malmkjær, Karoline
3
2002
Lambda-lifting in quadratic time. Zbl 1019.68522
Danvy, Olivier; Schultz, Ulrik P.
1
2002
A simple CPS transformation of control-flow information. Zbl 1009.68025
Damian, Daniel; Danvy, Olivier
1
2002
Syntactic theories in practice. Zbl 1268.68065
Danvy, Olivier; Nielsen, Lasse R.
3
2001
A higher-order colon translation. Zbl 0977.68009
Danvy, Olivier; Nielsen, Lasse R.
3
2001
Normalization by evaluation with typed abstract syntax. Zbl 1037.68095
Danvy, Olivier; Rhiger, Morten; Rose, Kristoffer H.
1
2001
Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21–23, 2001. Proceedings. Zbl 0961.00027
Danvy, Olivier (ed.); Filinski, Andrzej (ed.)
1
2001
Lambda-dropping: Transforming recursive equations into programs with block structure. Zbl 0949.68046
Danvy, O.; Schultz, U. P.
3
2000
Formalizing implementation strategies for first-class continuations. Zbl 0960.68031
Danvy, Olivier
2
2000
Syntactic accidents in program analysis: on the impact of the CPS transformation. Zbl 1321.68179
Damian, Daniel; Danvy, Olivier
1
2000
On proving syntactic properties of CPS programs. Zbl 0958.68022
Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank
3
1999
An extensional characterization of lambda-lifting and lambda-dropping. Zbl 0988.68525
Danvy, Olivier
2
1999
Functional unparsing. Zbl 0928.68018
Danvy, Olivier
6
1998
Thunks and the \(\lambda\)-calculus. Zbl 0881.68025
Hatcliff, John; Danvy, Olivier
6
1997
A computational formalization for partial evaluation. Zbl 0883.68091
Hatcliff, John; Danvy, Olivier
5
1997
Back to direct style. Zbl 0808.68051
Danvy, Olivier
10
1994
Representing control: A study of the CPS transformation. Zbl 0798.68102
Danvy, Olivier; Filinski, Andrzej
28
1992
Automatic autoprojection of recursive equations with global variables and abstract data types. Zbl 0745.68073
Bondorf, Anders; Danvy, Olivier
11
1991
all top 5

Cited by 157 Authors

20 Danvy, Olivier
5 Nielsen, Lasse R.
5 Shan, Chung-chieh
4 Biernacki, Dariusz
4 Millikin, Kevin
3 Asai, Kenichi
3 Biernacka, Małgorzata
3 Kameyama, Yukiyoshi
3 Kiselyov, Oleg
3 Midtgaard, Jan
3 Saurin, Alexis
3 Zerny, Ian
2 Ager, Mads Sig
2 Atkey, Robert
2 Bach Poulsen, Casper
2 Bahr, Patrick
2 Bloo, Roel
2 Filinski, Andrzej
2 Glück, Robert
2 Herbelin, Hugo
2 Hillerström, Daniel
2 Hutton, Graham
2 Ilik, Danko
2 Johannsen, Jacob
2 Kamareddine, Fairouz D.
2 Levy, Paul Blain
2 Lindley, Sam
2 Might, Matthew
2 Mosses, Peter D.
2 Polesiuk, Piotr
2 Sabry, Amr
2 Thielecke, Hayo
2 Thiemann, Peter J.
1 Acar, Umut A.
1 Aehlig, Klaus
1 Albert, Elvira
1 Amin, Nada
1 Angiuli, Carlo
1 Ariola, Zena M.
1 Asperti, Andrea
1 Barthe, Gilles
1 Bauer, Andrej
1 Bezirgiannis, Nikolaos
1 Bondorf, Anders
1 Boudol, Gérard
1 Brachthäuser, Jonathan Immanuel
1 Brics, Mārtiņš
1 Calcagno, Cristiano
1 Carette, Jacques
1 Chadwick, Bryan
1 Charatonik, Witold
1 Chroboczek, Juliusz
1 Clark, Tony
1 Clarke, Dave
1 Dal Lago, Ugo
1 de Boer, Frank S.
1 Denvy, Olivier
1 Dybjer, Peter
1 Dyvbig, R. Kent
1 Fatahalian, Kayvon
1 Felleisen, Matthias
1 Feltman, Nicolas
1 Felty, Amy P.
1 Fernandes, João Paulo
1 Fernández, Maribel
1 Friedman, Daniel P.
1 Führmann, Carsten
1 Futamura, Yoshihiko
1 García-Pérez, Álvaro
1 Gauthier, Nadji
1 Georges, Aina Linn
1 Ghica, Dan R.
1 Ghuloum, Abdulaziz
1 Graunke, Paul T.
1 Guillemette, Louis-Julien
1 Haftmann, Florian
1 Hammond, Kevin
1 Hatcliff, John
1 Helsen, Simon
1 Hinze, Ralf
1 Hopkins, Peter Walton
1 Hyland, J. Martin E.
1 James, Roshan P.
1 Jensen, Thomas P.
1 Jim, Trevor
1 Jones, Simon Peyton
1 Kerneis, Gabriel
1 Konishi, Zenjiro
1 Koprowski, Adam
1 Korsholm Rohde, Henning
1 Krishnamurthi, Shriram
1 Krivine, Jean-Louis
1 Kuang, Hairong
1 Kuperberg, Denis
1 Lang, Frédéric
1 Lee, Gyesik
1 Lenglet, Sergueï
1 Lieberherr, Karl J.
1 Lin, Kai
1 Lisper, Björn
...and 57 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.