Olivier Danvy, Ulrik P. Schultz  Home/Search
Context Related
| brics.dk/RS/04/Ref...ICSRS0412.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/RS/04/...BRICSRS04Ref (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Lambda-lifting is a program transformation that is used in compilers, partial evaluators, and program transformers. In this article, we show how to reduce its complexity from cubic time to quadratic time, and we present a flow-sensitive lambda-lifter that also works in quadratic time. (Update)
Cited by: More
A Functional Correspondence between Monadic Evaluators and.. - Ager (2004) (Correct)
Lambda-Lifting in Quadratic Time - Danvy, Schultz (2004) (Correct)
Active bibliography (related documents): More All
0.5: EPK-fix: Methods and Tools for Engineering.. - Knapp, Koch.. (Correct)
0.3: Lambda-Dropping: Transforming Recursive Equations into Programs.. - Danvy (1995) (Correct)
0.2: Expressing Set Theory in First-Order Predicate Logic - Vaillant (2000) (Correct)
Similar documents based on text: More All
0.6: Transforming Recursive Equations into Programs with Block.. - Danvy, Schultz (1997) (Correct)
0.4: March 1999. 21 pp. Appears in Mendelzon, editor, - Eighth International World (Correct)
0.4: BRICS Research Series, 1997 - Brics (1999) (Correct)
Related documents from co-citation: More All
2: Lambda lifting: Transforming programs to recursive equations - Thomas - 1985
2: Automatically restructuring programs for the Web - Graunke, Findler et al.
BibTeX entry: (Update)
Olivier Danvy and Ulrik P. Schultz. Lambda-lifting in quadratic time. In Zhenjiang Hu and Mario Rodriguez-Artalejo, editors, Sixth International Symposium on Functional and Logic Programming, number 2441 in Lecture Notes in Computer Science, pages 134--151, Aizu, Japan, September 2002. Springer-Verlag. Extended version available as the technical report BRICSRS -03-26. http://citeseer.ist.psu.edu/danvy04lambdalifting.html More
@misc{ danvy02lambdalifting,
author = "O. Danvy and U. Schultz",
title = "Lambda-lifting in quadratic time",
text = "Olivier Danvy and Ulrik P. Schultz. Lambda-lifting in quadratic time. In
Zhenjiang Hu and Mario Rodriguez-Artalejo, editors, Sixth International
Symposium on Functional and Logic Programming, number 2441 in Lecture Notes
in Computer Science, pages 134--151, Aizu, Japan, September 2002. Springer-Verlag.
Extended version available as the technical report BRICSRS -03-26.",
year = "2002",
url = "citeseer.ist.psu.edu/danvy04lambdalifting.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 2001
521 Compiling with Continuations (context) - Appel - 1992
178 Standard ML of New Jersey - Appel, MacQueen - 1991
126 Type inference with polymorphic recursion - Henglein - 1993
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991
89 Curry: An integrated functional logic language (context) - Hanus - 2003
89 closure-passing style (context) - Appel, Jim - 1989
69 Compiling Lazy Functional Languages (context) - Johnsson - 1987
69 A tour of Schism: A partial evaluation system for higherorde.. - Consel - 1993
59 A compiler for Lazy ML (context) - Augustsson - 1984
40 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
35 Super combinators: A new implementation method for applicati.. (context) - Hughes - 1982
34 Lambda lifting: Transforming programs to recursive equations - Johnsson - 1985
31 Modern Compiler Implementation in {C (context) - Appel - 1998
20 the Portland Aachen Kiel Curry system user manual (context) - Hanus, PAKCS - 2004
20 SSA is functional programming - Appel - 1998
17 or a simple optimizing compiler for Scheme (context) - Clinger, Hansen et al. - 1994
15 Lambda-dropping: Transforming recursive equations into progr.. - Danvy, Schultz - 2000
13 Automatically restructuring programs for the web - Graunke, Findler et al. - 2001
8 An extensional characterization of lambda-lifting and lambda.. - Danvy
7 Terminator II: Stopping partial evaluation of fully recursiv.. (context) - Glenstrup - 1999
5 POP-2 reference manual (context) - Burstall, Popplestone - 1968
4 combinators and the comprehension scheme (context) - Dowek - 1995
4 and Gilad Bracha (context) - Joy, Steele et al.
2 Lambda-lifting in quadratic time - Danvy, Schultz - 2002
2 World Student Series (context) - Aho, Sethi et al. - 1986
1 Automatic generalisation of function definitions (context) - Bakewell, Runciman
1 Specification and correctness of lambda lifting (context) - Fischbach, Hannan - 2003
1 EMA: Implementing the Rewriting Computational Model of Esche.. - Eder - 1998
Documents on the same site (http://www.brics.dk/RS/04/Ref/BRICS-RS-04-Ref/BRICS-RS-04-Ref.html): More
Congruences for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
The Design Space of Type Checkers for XML Transformation.. - Møller, Schwartzbach (2004) (Correct)
Split-2 Bisimilarity has a Finite Axiomatization over CCS with.. - Aceto, al. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC