See this document in CiteSeerX!

Multi-Level Specialization (Extended Abstract)  (Make Corrections)  
Robert Glück, Jesper Jørgensen



  Home/Search   Context   Related

 
View or download:
diku.dk/diku/semantics/pa...D363.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  diku.dk/diku/semantics/papers/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Program specialization can divide a computation into several computation stages. The program generator which we designed and implemented for a higher-order functional language converts programs into very compact multi-level generating extensions that guarantee fast successive specialization. Experimental results show a remarkable reduction of generation time and generator size compared to previous attempts of multiple self-application. (Update)

Similar documents (at the sentence level):
24.5%:   An Automatic Program Generator for Multi-Level Specialization - Glück, Jørgensen (1997)   (Correct)
20.1%:   Fast Binding-Time Analysis for Multi-Level Specialization - Glück, Jørgensen (1996)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Generalization in Hierarchies of Online Program.. - Glück, Hatcliff.. (1998)   (Correct)
0.4:   Efficient Specialisation in Prolog Using a Hand-Written.. - Leuschel, Jĝrgensen (1999)   (Correct)
0.4:   Advanced Techniques for Logic Program Specialisation - Leuschel (1997)   (Correct)

Similar documents based on text:   More   All
0.3:   Conjunctive Partial Deduction: Foundations.. - De Schreye.. (1994)   (Correct)
0.3:   Program Generation, Termination, and Binding-time Analysis - Jones, Glenstrup (2002)   (Correct)
0.2:   Proceedings: First European Conference for Information.. - Kure, Thysen, (eds.)   (Correct)

BibTeX entry:   (Update)

@misc{ ck-multilevel,
  author = "Robert Gl{\"u}ck and Jesper J{\o}rgensen",
  title = "Multi-Level Specialization (Extended Abstract)",
  url = "citeseer.ist.psu.edu/317716.html" }
Citations (may not include all citations):
638   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
232   Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
133   Multi-stage programming with explicit annotations - Taha, Sheard - 1997
98   Mix: a self-applicable partial evaluator for experiments in .. (context) - Jones, Sestoft et al. - 1989
38   Efficient analyses for realistic off-line partial evaluation (context) - Bondorf, Jrgensen - 1993
27   Efficient multi-level generating extensions for program spec.. - Gluck, Jrgensen - 1995
26   Cogen in six lines - Thiemann - 1996
25   the essence of compilation (context) - Ershov - 1978
20   Partial Evaluation (context) - Danvy, Gluck et al. - 1996
19   Partial Evaluation and Mixed Computation (context) - Bjrner, Ershov et al. - 1988
19   An automatic program generator for multi-level specializatio.. (context) - Gluck, Jrgensen - 1997
17   A compiler generator produced by a self-applicable specializ.. (context) - Romanenko - 1988
16   Hand-writing program generator generators (context) - Birkedal, Welinder - 1994
15   A partial evaluator and its use as a programming tool (context) - Beckman, Haraldson et al. - 1976
12   Towards multiple self-application (context) - Gluck - 1991
10   Fast binding-time analysis for multi-level specialization (context) - Gluck, Jrgensen - 1996
4   Syntactic currying: yet another approach to partial evaluati.. (context) - Holst - 1989
4   The PGG system -- user manual - Thiemann - 1998
3   Multi-level lambda-calculus: an algebraic description (context) - Nielson, Nielson - 1996
3   Prescriptive frameworks for multi-level lambda-calculi - Nielson, Nielson - 1997
2   Generative programming with C (context) - Eisenecker - 1997

Documents on the same site (ftp://ftp.diku.dk/diku/semantics/papers/):   More
Implementation of an Experimental System for Automatic.. - Futamura, Konishi, Glück (2000)   (Correct)
Levin, Blum and the Time Optimality of Programs - Christensen (1999)   (Correct)
A region-based memory manager for Prolog - Makholm (2000)   (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