Filters








7,223 Hits in 2.5 sec

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

Olivier Danvy
1999 BRICS Report Series  
To this end, we<br />define extensional versions of lambda-lifting and lambda-dropping and<br />establish their correctness with respect to a least fixed-point semantics.  ...  Lambda-lifting and lambda-dropping respectively transform a block-structured<br />functional program into recursive equations and vice versa.  ...  Acknowledgements Glynn Winskel suggested that the equation of Theorem 1 should be a foundation for extensional lambda-lifting.  ... 
doi:10.7146/brics.v6i21.20078 fatcat:7mewkeq4ivbfjdmbo5on7q7lr4

Page 4858 of Mathematical Reviews Vol. , Issue 2004f [page]

2004 Mathematical Reviews  
Summary: “We present a formal and general specification of lambda lifting and prove its correctness with respect to a call- by-name operational semantics.  ...  We use this specification to prove the correctness of a lambda lifting algorithm similar to the one pro- posed by Johnsson.  ... 

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping [chapter]

Olivier Danvy
1999 Lecture Notes in Computer Science  
To this end, we define extensional versions of lambda-lifting and lambda-dropping and establish their correctness with respect to a least fixed-point semantics. * Extended version of an article to be presented  ...  Lambda-lifting and lambda-dropping respectively transform a blockstructured functional program into recursive equations and vice versa.  ...  Acknowledgements Glynn Winskel suggested that the equation of Theorem 1 should be a foundation for extensional lambda-lifting.  ... 
doi:10.1007/10705424_16 fatcat:ao46h7bjvnaadf4jk6pbjrvkpi

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

Olivier Danvy
1998 BRICS Report Series  
One of our two main theorems suggests us to define extensional versions of lambda-lifting and lambda-dropping, which we visualize both using ML and using type-directed partial evaluation.  ...  Lambda-lifting and lambda-dropping respectively transform a block-structured functional program into recursive equations and vice versa.  ...  Acknowledgements Glynn Winskel suggested that the equation of Theorem 1 should be a foundation for extensional lambda-lifting.  ... 
doi:10.7146/brics.v5i2.21961 fatcat:fk67ag27xna2vaariwbsifjxky

Lambda-Lifting in Quadratic Time

Olivier Danvy, Ulrik P. Schultz
2004 BRICS Report Series  
Lambda-lifting is a program transformation that is used in compilers, partial evaluators, and program transformers.  ...  <br /> <br />Lambda-lifting transforms a block-structured program into a set of recursive equations, one for each local function in the source program.  ...  Millikin, Laurent Réveillère, Henning Korsholm Rohde, and Kristian Støvring Sørensen for their comments on an earlier version of this article, and to Andrzej Filinski for a clarification about ML typing  ... 
doi:10.7146/brics.v11i12.21837 fatcat:acn5oxznmvcvjktycse3qwt2iy

Lambda-Lifting in Quadratic Time

Olivier Danvy, Ulrik P. Schultz
2003 BRICS Report Series  
Lambda-lifting is a program transformation used in compilers and in partial evaluators and that operates in cubic time.  ...  <br /> <br />Lambda-lifting transforms a block-structured program into a set of recursive equations, one for each local function in the source program.  ...  Millikin, Laurent Réveillère, Henning Korsholm Rohde, and Kristian Støvring Sørensen for their comments on an earlier version of this article, and to Andrzej Filinski for a clarification about ML typing  ... 
doi:10.7146/brics.v10i26.21794 fatcat:gbcwtasimngbjmp67oiqrjmqzm

Lambda-Lifting in Quadratic Time [chapter]

Olivier Danvy, Ulrik P. Schultz
2002 Lecture Notes in Computer Science  
Lambda-lifting is a program transformation that is used in compilers, partial evaluators, and program transformers.  ...  Lambda-lifting transforms a block-structured program into a set of recursive equations, one for each local function in the source program.  ...  Millikin, Laurent Réveillère, Henning Korsholm Rohde, and Kristian Støvring Sørensen for their comments on an earlier version of this article, and to Andrzej Filinski for a clarification about ML typing  ... 
doi:10.1007/3-540-45788-7_8 fatcat:aw4chnwm6fa6pbjmdc6pbgbixu

Lambda-Lifting in Quadratic Time

Olivier Danvy, Ulrik P. Schultz
2002 BRICS Report Series  
Lambda-lifting is a program transformation used in compilers and in partial evaluators and that operates in cubic time. In this article, we show how to reduce this complexity to quadratic time.  ...  <br /> <br /> Lambda-lifting transforms a block-structured program into a set of recursive equations, one for each local function in the source program.  ...  Millikin, Laurent Réveillère, Henning Korsholm Rohde, and Kristian Støvring Sørensen for their comments on an earlier version of this article, and to Andrzej Filinski for a clarification about ML typing  ... 
doi:10.7146/brics.v9i30.21952 fatcat:mdp55tta7nhghd5rn7dorbw24e

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Olivier Danvy, Ulrik P. Schultz
1997 BRICS Report Series  
Both lambda-lifting<br />and lambda-dropping thus require one to compute a transitive<br />closure over the call graph:</p><p>- for lambda-lifting: to establish the Def/Use path of each free<br />variable  ...  </p><p><br />We believe lambda-lifting and lambda-dropping are interesting per<br />se, both in principle and in practice, but our prime application is partial<br />evaluation: except for Malmkjær and  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
doi:10.7146/brics.v4i6.18785 fatcat:uqo55kxr2bd2rjwc7kwlw6myhe

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Olivier Danvy, Ulrik P. Schultz
1998 BRICS Report Series  
Both lambda-lifting and lambda-dropping thus require one to compute Def/Use paths:<ul><li>for lambda-lifting: each of the functions occurring in the path of a free variable is passed this variable as a  ...  Lambda-dropping a set of recursive equations restores block structure and lexical scope.  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
doi:10.7146/brics.v5i54.21959 fatcat:3u3uix3y2ncprju2ilisrsxdl4

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

Olivier Danvy, Ulrik P. Schultz
2000 Theoretical Computer Science  
Both lambda-lifting and lambda-dropping thus require one to compute Def/Use paths: • for lambda-lifting: each of the functions occurring in the path of a free variable is passed this variable as a parameter  ...  Lambda-dropping a set of recursive equations restores block structure and lexical scope.  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
doi:10.1016/s0304-3975(00)00054-2 fatcat:z5aebuca7jh27ky577qeaghkzy

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Olivier Danvy, Ulrik P. Schultz
1999 BRICS Report Series  
Both lambda-lifting and lambda-dropping thus require one to compute Def/Use paths:</p><p><br />- for lambda-lifting: each of the functions occurring in the path of a<br />free variable is passed this variable  ...  Lambda-dropping a set of recursive equations restores block structure and lexical scope.  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
doi:10.7146/brics.v6i27.20096 fatcat:bwkchvaribhz3daclqzqkdslhi

Lambda-dropping

Olivier Danvy, Ulrik P. Schultz
1997 SIGPLAN notices  
Both lambda-lifting and lambda-dropping thus require one to compute Def/Use paths: • for lambda-lifting: each of the functions occurring in the path of a free variable is passed this variable as a parameter  ...  Lambda-dropping a set of recursive equations restores block structure and lexical scope.  ...  Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft, and Sergei Soloviev for their kind interest on the general topic of lambda-lifting and lambda-dropping.  ... 
doi:10.1145/258994.259007 fatcat:wyuul4rvmfdqjc7pyogja7yaem

Implementation of the BEM skewed-wake model within the multibody aero-elastic solver Cp-Lambda

Igor Petrović, Filippo Campagnolo, Tadej Kosel, Carlo L. Bottasso, M.L. Kolhe
2020 E3S Web of Conferences  
The numerical aerodynamic loads have been compared with the wind tunnel data of the NREL Phase VI and against another numerical campaign.  ...  Results show, a possible better prediction of loads at yawed flow with Skewed-Wake correction, however the method does not overall correlate better, compared to the BEM method with implemented local variability  ...  The support from the Chair of Wind Energy TUM and especially Helena Canet Tarres is greatly appreciated.  ... 
doi:10.1051/e3sconf/202017302004 fatcat:a2y6jzrle5cujps4l5lpe5zir4

Collapsing towers of interpreters

Nada Amin, Tiark Rompf
2017 Proceedings of the ACM on Programming Languages  
We present a multi-level lambda calculus that features staging constructs and stage polymorphism: based on runtime parameters, an interpreter can either act as a normal interpreter or generate code, which  ...  We present a meta-circular Lisp interpreter on top of this calculus and demonstrate that we can collapse arbitrarily many levels of self-interpretation, including levels with semantic modifications.  ...  All function calls are in tail position, with inner lambdas passed as continuation arguments. Correctness and Optimality of Transformation.  ... 
doi:10.1145/3158140 dblp:journals/pacmpl/AminR18 fatcat:xur2kgrv3racjcaunbi7ukuxjy
« Previous Showing results 1 — 15 out of 7,223 results