Simon Helsen, Peter Thiemann  Home/Search
Context Related
| informatik.unifreiburg...flavors.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: informatik.unifreiburg.de/~th... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline partial evaluation approach have not yet been fully explored. We present a comparison of type-directed partial evaluation with standard offline partial evaluation in both a qualitative and quantitative way. For the latter we use implementations of both approaches in Scheme. Both approaches yield equivalent results in comparable... (Update)
Context of citations to this paper: More
...for realistic languages with various values, because it relies on the property that all values are functions. ffl Helsen and Thiemann [7] compared Danvy s type directed partial evaluator and the second author s cogenbased offline syntax directed partial evaluator [16, 17]...
...reset. We have used benchmarks from Helsen s and Thiemann s paper on comparing combinator based and type directed partial evaluation [16]. These benchmarks are interpreters; partial evaluation yields compiled versions of the input programs. These are the programming languages...
Cited by: More
Final Shift for Call/cc: Direct Implementation of Shift and.. - Gasbichler, Sperber (2002) (Correct)
Online Type-Directed Partial Evaluation for.. - Sumii, Kobayashi (1999) (Correct)
Active bibliography (related documents): More All
1.0: Partial Evaluation for Higher-Order Languages with State - Thiemann, Dussart (1996) (Correct)
0.7: Implementing Memoization for Partial Evaluation - Thiemann (1997) (Correct)
0.6: A Generic Framework for Specialization (Abridged Version) - Thiemann (Correct)
Similar documents based on text: More All
0.4: The PGG System: User Manual - Thiemann (2000) (Correct)
0.3: Syntactic Type Soundness for the Region Calculus - Helsen, Thiemann (2000) (Correct)
0.3: Generation of LR Parsers by Partial Evaluation - Michael Sperber, Peter Thiemann (2000) (Correct)
Related documents from co-citation: More All
2: Type-directed partial evaluation - Danvy
2: Combinators for program generation (context) - Thiemann - 1999
2: Representing monads - Filinski - 1994
BibTeX entry: (Update)
Simon Helsen and Peter Thiemann. Two flavors of offline partial evaluation. In 4th Asian Computing Science Conference, volume 1538 of Lecture Notes in Computer Science, pages 188--205. Springer-Verlag, 1998. http://citeseer.ist.psu.edu/helsen98two.html More
@article{ helsen98two,
author = "Simon Helsen and Peter Thiemann",
title = "Two Flavors of Offline Partial Evaluation",
journal = "Lecture Notes in Computer Science",
volume = "1538",
pages = "188--??",
year = "1998",
url = "citeseer.ist.psu.edu/helsen98two.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
229 Foundations for Programming Languages (context) - Mitchell - 1996
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
132 A general approach for run-time specialization and its appli.. - Consel, Noel
122 Type-directed partial evaluation - Danvy
99 A partial evaluator for the untyped lambdacalculus - Gomard, Jones - 1991
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991
85 An experiment in partial evaluation: The generation of a com.. (context) - Jones, Sestoft et al. - 1985
83 Automatic autoprojection of higher order recursive equations (context) - Bondorf - 1991
78 Soft typing - Cartwright, Fagan - 1991
64 Efficient type inference for higher-order binding-time analy.. - Henglein
62 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
43 An inverse of the evaluation functional for typed -calculus (context) - Berger, Schwichtenberg - 1991
39 Improving binding times without explicit CPS-conversion (context) - Bondorf - 1992
38 volume 34 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Nielson, Nielson et al. - 1992
38 Efficient analyses for realistic off-line partial evaluation (context) - Bondorf, Jorgensen - 1993
29 The essence of etaexpansion in partial evaluation - Danvy, Malmkjaer et al. - 1995
27 A computational formalization for partial evaluation - Hatcliff, Danvy - 1997
26 Cogen in six lines - Thiemann - 1996
26 Polyvariant mixed computation for analyzer programs (context) - Bulyonkov - 1984
24 Sound specialization in the presence of computational effect.. - Lawall, Thiemann - 1997
20 Modular compilers based on monad transformers - Harrison, Kamin - 1998
19 An automatic program generator for multilevel specialization (context) - Gluck, Jorgensen - 1997
18 Dynamic typing: Syntax and proof theory (context) - Henglein - 1994
17 Handwriting cogen to avoid problems with static typing (context) - Launchbury, Holst - 1991
17 Semantics-based compiling: A case study in type-directed par.. - Danvy, Vestergaard
17 A roadmap to metacomputation by supercompilation - Gluck, Sorensen
16 Hand-writing program generator generators (context) - Birkedal, Welinder - 1994
15 Finiteness analysis (context) - Holst
14 Functional Programming Languages and Computer Architecture (context) - Hughes - 1991
13 Pragmatics of type-directed partial evaluation (context) - Danvy
13 Compiler generation from denotational semantics (context) - Paulson - 1984
13 A simple solution to type specialization (context) - Danvy - 1998
13 Online type-directed partial evaluation - Danvy - 1998
12 ACM Transactions on Programming Languages and Systems (context) - Danvy, Malmkjaer et al. - 1996
10 Strong normalization by type-directed partial evaluation and.. - Balat, Danvy - 1998
10 Termination analysis for offline partial evaluation of a hig.. - Andersen, Holst - 1996
8 partial evaluator for a polymorphic language (context) - Sheard, type-directed - 1997
7 A study in higher-order programming languages - Rhiger - 1997
4 A unified framework for binding-time analysis - Thiemann - 1997
4 volume 1110 of Lecture Notes in Computer Science (context) - Danvy, Gluck et al. - 1996
4 The PGG System---User Manual - Thiemann - 1998
2 Aspects of the pgg system: Specialization for standard schem.. (context) - Thiemann - 1998
1 International Symposium on Programming Languages (context) - Kuchen, Swierstra - 1996
Documents on the same site (http://www.informatik.uni-freiburg.de/~thiemann/papers/): More
Type Specialisation for Imperative Languages - Dussart, Hughes, Thiemann (1997) (Correct)
Formalizing Resource Allocation in a Compiler - Thiemann (1998) (Correct)
Unboxed Values and Polymorphic Typing Revisited - Thiemann (1995) (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