Peter Thiemann  Home/Search
Context Related
| informatik.unifreib...pggmanual.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: readscheme.org/whats_new (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The PGG system is a partial evaluation system for the full Scheme language as defined in the R5RS report [19]. It has the following features -- offline partial evaluation using the cogen approach; -- correct specialization of imperative code; -- side effects performed at specialization time; -- modular specialization; -- no restrictions on primitives and static inputs (they are not restricted to have first-order types); -- handles eval, apply, call-with-values, and control operators correctly;... (Update)
Context of citations to this paper: More
...experiments using representative implementations of both approaches. For the traditional partial evaluators, we have used the PGG system [47]. It is an implementation of the cogen by hand approach for the Scheme language. For type directed partial evaluation (TDPE) we have...
.... are implemented along with the techniques presented in this work in the PGG system which applies to the full Scheme language [71, 72, 74]. The specializer is applicable to programs that are otherwise hard to specialize in a satisfactory manner: Specializers like...
Cited by: More
Final Shift for Call/cc: Direct Implementation of Shift and.. - Gasbichler, Sperber (2002) (Correct)
Multi-Level Specialization (Extended Abstract) - Glück, Jørgensen (Correct)
Partial Evaluation for Higher-Order Languages with State - Thiemann, Dussart (1996) (Correct)
Active bibliography (related documents): More All
1.0: Advances in Theory: - Program Specialization Has (Correct)
0.5: Polymorphic Specialization for ML - Helsen, Thiemann (2001) (Correct)
0.5: Automatic Program Specialization by Partial Evaluation: an.. - Glück, Jones (Correct)
Similar documents based on text: More All
0.8: Fragmental Specialization - Helsen, Thiemann (2000) (Correct)
0.7: Cogen in Six Lines - Thiemann (1996) (Correct)
0.5: Offline Specialisation in Prolog Using a Hand-Written .. - Leuschel.. (Correct)
Related documents from co-citation: More All
3: Type-directed partial evaluation - Danvy
3: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
3: Hand-writing program generator generators (context) - Birkedal, Welinder - 1994
BibTeX entry: (Update)
Peter Thiemann. The PGG System---User Manual. University of Nottingham, Nottingham, England, June 1998. Available from ftp://ftp.informatik. uni-tuebingen.de/pub/PU/thiemann/software/pgg/. http://citeseer.ist.psu.edu/thiemann00pgg.html More
@misc{ thiemann98pgg,
author = "P. Thiemann",
title = "The {PGG} System --- User Manual",
note = "University of Nottingham,
Nottingham, England, June 1998. Available from ftp://ftp.informatik. uni-tuebingen.de/pub/PU/thiemann/software/pgg/.",
year = "1998",
url = "citeseer.ist.psu.edu/thiemann00pgg.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
115 Revised report on the algorithmic language Scheme - Kelsey, Clinger et al. - 1998
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991
83 Automatic autoprojection of higher order recursive equations (context) - Bondorf - 1991
82 Tutorial on specialisation of logic programs (context) - Gallagher
43 A tractable Scheme implementation - Kelsey, Rees - 1995
35 Partial Evaluation and Mixed Computation (context) - Bj, Andrei et al. - 1988
26 Cogen in six lines - Thiemann - 1996
24 Sound specialization in the presence of computational e ects - Lawall, Thiemann - 1997
15 Towards partial evaluation of full Scheme - Thiemann - 1996
14 Semantics-directed compilation of nonlinear patterns - Danvy - 1991
13 Ecient type inference for higher-order binding-time analysis (context) - Henglein - 1991
11 Ecient multi-level generating extensions for program special.. (context) - Gl, Jesper et al. - 1995
10 Implementing memoization for partial evaluation - Thiemann - 1996
4 Special Issue: Selected Papers from the Workshop on Partial .. (context) - Ershov, Bj et al. - 1987
3 Correctness of a region-based binding-time analysis - Thiemann - 1997
3 Dagstuhl Seminar on Partial Evaluation (context) - Danvy, Gl et al. - 1996
2 and Peter Thiemann (context) - Danvy, Gl - 1998
2 special issue on partial evaluation (context) - Functional - 1993
2 special issue on partial deduction (context) - Logic - 1993
1 special issue on partial evaluation (context) - Science - 1998
1 Peter Sestoft and Harald S ndergaard (context) - Symbolic, special et al. - 1995
ftp://ftp.diku.dk/pub/diku/dists/jones-book/partial-eval.bib.Z
Documents on the same site (http://library.readscheme.org/whats_new.html): More
The Structure and Interpretation of the Computer.. - Felleisen.. (2002) (Correct)
Processes vs. User-Level Threads in SCSH - Gasbichler, Sperber (Correct)
XML, XPath, XSLT implementations as SXML, SXPath, and SXSLT - Kiselyov, Lisovsky (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