Access the full text.
Sign up today, get DeepDyve free for 14 days.
Matthew Dwyer, J. Hatcliff, Muhammad Nanda (1998)
Using partial evaluation to enable verification of concurrent softwareACM Comput. Surv., 30
P. Wickline, Peter Lee, F. Pfenning, Rowan Davies (1998)
Modal types as staging specifications for run-time code generationACM Comput. Surv., 30
(1994)
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM '94
(1998)
Program transformation in calculational form. This symposium
Akihiko Takano, Zhenjiang Hu, M. Takeichi (1998)
Program transformation in calculational formACM Comput. Surv., 30
C. Consel, Luke Hornof, R. Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi (1998)
Tempo: specializing systems applications and beyondACM Comput. Surv., 30
(1998)
Type specialisation. This symposium
M. Leuschel, Bern Martens, D. Schreye (1998)
Some achievements and prospects in partial deductionACM Comput. Surv., 30
J. Hatcliff (1998)
Foundations for partial evaluation of functional programs with computational effectsACM Comput. Surv., 30
(1998)
Visualizing partial evaluation. This symposium
(1987)
Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed Computation
Semantics-based Manipulation, Acm Sigplan (1993)
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993
(1991)
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM ’91 (New Haven, CT, June 1991)
Scott Draves (1998)
Partial evaluation for media processingACM Comput. Surv., 30
(1998)
Inherited limits. This sym- posium
(1998)
Program specialization vs
(1998)
Towards language-independent algorithms for program specialization
(1993)
Journal of Functional Programming
(1998)
Extending the power of automatic partial evaluators
C. Consel, Luke Hornof, R. Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi (1998)
Partial evaluation for software engineeringACM Comput. Surv., 30
(1998)
Partial evaluation for program comprehension. This sympo- sium
(1998)
Partial evaluation for software engineering This symposium
J. Gallagher (1993)
Tutorial on specialisation of logic programs
J. Gallagher, C. Consel, A. Berman (1991)
Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
(1993)
special issue on partial deduction
(1998)
Controlled partial deduction of declarative logic programs
D. Bjørner, N. Jones, A. Ershov (1988)
Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987
S. Etalle, M. Gabbrielli (1998)
Partial evaluation of concurrent constraint languagesACM Comput. Surv., 30
Semantics-based Manipulation (1995)
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM'95, La Jolla, California, June 21-23, 1995
J. Field, J. Heering, T. Dinesh (1998)
Equations as a uniform framework for partial evaluation and abstract interpretationACM Comput. Surv., 30
(1991)
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '91
D. Bjørner, A. Ershov, N. Jones (1987)
Partial Evaluation and Mixed Computation
(1998)
Towards language-independent algorithms for program specialization. This symposium
(1995)
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM ’95 (La Jolla, CA, June 1995)
(1999)
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '99
(1998)
Controlled partial deduction of declarative logic programs. This sym- posium
(1992)
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM '92
(1998)
Symposium on Partial Evaluation @BULLET
Semantics-based Manipulation (1997)
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997
共立出版株式会社 (1978)
コンピュータ・サイエンス : ACM computing surveys
(1998)
Optimizing modular logic languages. This symposium
M. Bugliesi, A. Ciampolini, E. Lamma, P. Mello (1998)
Optimizing modular logic languagesACM Comput. Surv., 30
Sandrine Blazy, P. Facon (1998)
Partial evaluation for program comprehensionArXiv, abs/cs/0610096
L. Lafave, J. Gallagher (1998)
Extending the power of automatic constraint-based partial evaluatorsACM Comput. Surv., 30
도경구 (1998)
Partial Evaluation, 1110
M. Alpuente, M. Falaschi, G. Vidal (1998)
A unifying view of functional and logic program specializationACM Comput. Surv., 30
Torben Mogensen (1998)
Inherited limits
Mark Leone, Peter Lee (1998)
Dynamic specialization in the Fabius systemACM Comput. Surv., 30
A. Pettorossi, M. Proietti (1998)
Program specialization via algorithmic unfold/fold transformationsACM Comput. Surv., 30
Konstantinos Sagonas, M. Leuschel (1998)
Extending partial deduction to tabled execution: some results and open issuesACM Comput. Surv., 30
S. ller (1999)
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998, 1706
(1995)
Lisp and Symbolic Computation 8 (3), special issue on partial evaluation
(1996)
Dagstuhl Seminar on Partial Evaluation 1996, Volume 1110 of Lecture Notes in Computer Science (Schloß Dagstuhl, Germany, Feb
(1999)
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM ’99 (San Antonio, Texas, Jan
(1998)
Program specialization vs. program composition. This symposium
(1998)
Theoretical Computer Science, special issue on partial evaluation
(1996)
Dagstuhl Seminar on Partial Evaluation Lecture Notes in Computer Science
R. Bol (1993)
Loop checking in partial deductionJ. Log. Program., 16
(1998)
Partial evaluation for media processing. This symposium
(1988)
Partial Evaluation and Mixed Computation (Amsterdam, 1988)
A. Klimov (1998)
Program specialization vs. program compositionACM Comput. Surv., 30
(1998)
Logical framework based program development. This symposium
Bibliography on partial evaluation Available through URL ftp://ftp.diku.dk/pub/ diku/dists/jones-book/partial-eval
D. Basin (1998)
Logical framework based program developmentACM Comput. Surv., 30
Oscar Waddell, R. Dybvig (1998)
Visualizing partial evaluationACM Comput. Surv., 30
N. Jones, C. Gomard, P. Sestoft (1993)
Partial evaluation and automatic program generation
(1993)
Journal of Logic Programming 16 (1,2), special issue on partial deduction
(1998)
Foundations for partial evaluation of functional languages with computational effects. This symposium
(1992)
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM ’92 (San Francisco, CA, June 1992)
(1998)
Extending the power of automatic partial evaluators. This symposium
(1993)
Journal of Functional Programming 3(3), special issue on partial evaluation
(1998)
Type specialisation
C. Consel, O. Danvy (1993)
Tutorial notes on partial evaluation
1998 Symposium on Partial Evaluation OLIVIER DANVY BRICS, University of Aarhus ¨ ROBERT GLUCK DIKU, University of Copenhagen and PETER THIEMANN University of Nottingham 1. PARTIAL EVALUATION The partial-evaluation community is concerned with specializing programs. Our thesis is that whereas the most efficient programs are the ones that are specialized to the task at hand, actual programs are overly general, and this generality impedes their efficiency. For a simple example, consider any kind of formatting function. Would anyone bother writing in C the following three lines: fputs(x, fp); fputs( is not , fp); fputs(y, fp); instead of writing the following equivalent one line? fprintf(fp, %s is not %s , x, y); The problem with this one-liner is that unless the compiler displays some intelligence, the analysis of the control string %s is not %s happens at run time. We can very precisely quantify the intelligence that is required here: the compiler should specialize the library function fprintf with respect to the control string, in effect transforming the one-liner above into the original three lines. Such a specialization is what partial evaluation is all about. Literals offer a rich source of opportunities for program specialization, one that
ACM Computing Surveys (CSUR) – Association for Computing Machinery
Published: Sep 1, 1998
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.