2024-06-16 09:58:08 -04:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>
|
|
|
|
|
Partial Evaluation
|
|
|
|
|
</title>
|
|
|
|
|
<meta name="generator" content="SchemeBib and Site-ML" charset=
|
|
|
|
|
"utf-8">
|
|
|
|
|
<meta name="description" content=
|
|
|
|
|
"Online bibliography of Scheme research">
|
|
|
|
|
<meta name="keywords" content=
|
|
|
|
|
"Scheme, bibliography, research, partial evaluation">
|
|
|
|
|
<meta name="robots" content="index,follow">
|
|
|
|
|
<link rel="stylesheet" href="basic.css" type="text/css">
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<table width="100%">
|
|
|
|
|
<tr valign="top">
|
|
|
|
|
<td width="124">
|
|
|
|
|
<table width="124">
|
|
|
|
|
<tr width="124" height="45">
|
|
|
|
|
<td width="124" height="45">
|
2024-06-16 12:23:48 -04:00
|
|
|
<img width="124" height="45" border="0" alt=
|
|
|
|
|
"Readscheme.org" src="./imgs/nav-logo.gif">
|
2024-06-16 09:58:08 -04:00
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="124">
|
|
|
|
|
<td width="124" height="124">
|
|
|
|
|
<a href="./index.html" target="_top"><img width=
|
|
|
|
|
"124" height="124" border="0" alt=
|
|
|
|
|
"Scheme Bibliography Home" src=
|
|
|
|
|
"./imgs/nav_mainlogo.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="30">
|
|
|
|
|
<td width="124" height="30">
|
|
|
|
|
<a href="./page1.html" target="_top"><img width=
|
|
|
|
|
"124" height="30" border="0" alt="Classics" src=
|
|
|
|
|
"./imgs/nav_classics.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="18">
|
|
|
|
|
<td width="124" height="18">
|
|
|
|
|
<a href="./page2.html" target="_top"><img width=
|
|
|
|
|
"124" height="18" border="0" alt="Semantics" src=
|
|
|
|
|
"./imgs/nav_sem.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="18">
|
|
|
|
|
<td width="124" height="18">
|
|
|
|
|
<a href="./page3.html" target="_top"><img width=
|
|
|
|
|
"124" height="18" border="0" alt="Macros" src=
|
|
|
|
|
"./imgs/nav_macros.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="18">
|
|
|
|
|
<td width="124" height="18">
|
|
|
|
|
<a href="./page4.html" target="_top"><img width=
|
|
|
|
|
"124" height="18" border="0" alt="Objects" src=
|
|
|
|
|
"./imgs/nav_objects.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="30">
|
|
|
|
|
<td width="124" height="30">
|
|
|
|
|
<a href="./page5.html" target="_top"><img width=
|
|
|
|
|
"124" height="30" border="0" alt="Modules" src=
|
|
|
|
|
"./imgs/nav_modules.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="18">
|
|
|
|
|
<td width="124" height="18">
|
|
|
|
|
<a href="./page6.html" target="_top"><img width=
|
|
|
|
|
"124" height="18" border="0" alt="Continuations"
|
|
|
|
|
src="./imgs/nav_cps.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="30">
|
|
|
|
|
<td width="124" height="30">
|
|
|
|
|
<a href="./pagexml.html" target="_top"><img width=
|
|
|
|
|
"124" height="30" border="0" alt="Web Programming"
|
|
|
|
|
src="./imgs/nav_xml.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="18">
|
|
|
|
|
<td width="124" height="18">
|
|
|
|
|
<a href="./page7.html" target="_top"><img width=
|
|
|
|
|
"124" height="18" border="0" alt="Applications"
|
|
|
|
|
src="./imgs/nav_appl.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="18">
|
|
|
|
|
<td width="124" height="18">
|
|
|
|
|
<a href="./page8.html" target="_top"><img width=
|
|
|
|
|
"124" height="18" border="0" alt="Implementation"
|
|
|
|
|
src="./imgs/nav_impl.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="30">
|
|
|
|
|
<td width="124" height="30">
|
|
|
|
|
<a href="./page9.html" target="_top"><img width=
|
|
|
|
|
"124" height="30" border="0" alt=
|
|
|
|
|
"Concurrent Programming" src=
|
|
|
|
|
"./imgs/nav_conc.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="30">
|
|
|
|
|
<td width="124" height="30">
|
|
|
|
|
<a href="./page10.html" target="_top"><img width=
|
|
|
|
|
"124" height="30" border="0" alt=
|
|
|
|
|
"Partial Evaluation" src=
|
|
|
|
|
"./imgs/focus_nav_pe.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="18">
|
|
|
|
|
<td width="124" height="18">
|
|
|
|
|
<a href="./page11.html" target="_top"><img width=
|
|
|
|
|
"124" height="18" border="0" alt="Reflection" src=
|
|
|
|
|
"./imgs/nav_reflect.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr width="124" height="30">
|
|
|
|
|
<td width="124" height="30">
|
|
|
|
|
<a href="./whats_new.html" target=
|
|
|
|
|
"_top"><img width="124" height="30" border="0" alt=
|
|
|
|
|
"Recent Additions" src="./imgs/nav_recent.gif"></a>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
</table>
|
|
|
|
|
</td>
|
|
|
|
|
<td width="20">
|
|
|
|
|
<img width="20" height="1" border="0" src=
|
|
|
|
|
"./imgs/dot_clear.gif">
|
|
|
|
|
</td>
|
|
|
|
|
<td>
|
|
|
|
|
<a name="partial" id="partial"></a>
|
|
|
|
|
<h2>
|
|
|
|
|
Partial Evaluation
|
|
|
|
|
</h2>
|
|
|
|
|
<p>
|
|
|
|
|
<strong>Visit the NEW, more comprehensive <a href=
|
|
|
|
|
"http://partial-eval.org"><em>"Online Bibliography of
|
|
|
|
|
Partial Evaluation Research"</em></a></strong>
|
|
|
|
|
</p><a name="survey" id="survey"></a>
|
|
|
|
|
<h3>
|
|
|
|
|
Tutorials and Surveys
|
|
|
|
|
</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li>Charles Consel and Olivier Danvy. "Tutorial Notes
|
|
|
|
|
on Partial Evaluation". <em>Principles of Programming
|
|
|
|
|
Languages (POPL'93)</em>. January 1993. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://compose.labri.fr/documentation/papers/pe-tutorial.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel and Olivier Danvy. "Partial
|
|
|
|
|
Evaluation: Principles and Perspectives". <em>Journees
|
|
|
|
|
Francophones des Langages Applicatifs</em>. February
|
|
|
|
|
1993. Available online: <a href=
|
|
|
|
|
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/consel-danvy-tutorial-PE.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and Neil D. Jones. "Automatic program
|
|
|
|
|
specialization by partial evaluation: an introduction".
|
|
|
|
|
<em>Software Engineering in Scientific Computing</em>.
|
|
|
|
|
1996. Available online: <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/diku/semantics/papers/D-288.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>John Hatcliff. "Foundations of Partial Evaluation
|
|
|
|
|
and Program Specialization". Kansas State University.
|
|
|
|
|
March 1999. Available online: <a href=
|
|
|
|
|
"http://www.cis.ksu.edu/~hatcliff/FPEPS/#notes">course
|
|
|
|
|
notes</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Neil D. Jones. "An Introduction to Partial
|
|
|
|
|
Evaluation". <em>ACM Computing Surveys</em>. Vol. 28.
|
|
|
|
|
No. 3. September 1996. Available online: <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/diku/semantics/papers/D-294.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Neil D. Jones. "MIX Ten Years Later". <em>Partial
|
|
|
|
|
Evaluation and Program Manipulation (PEPM '95)</em>.
|
|
|
|
|
1995. Available online: <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/diku/semantics/papers/D-255.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Neil D. Jones, Carsten K. Gomard and Peter Sestoft.
|
|
|
|
|
"Partial Evaluation and Automatic Program Generation".
|
|
|
|
|
1993. Available online: <a href=
|
|
|
|
|
"http://www.dina.kvl.dk/~sestoft/pebook/jonesgomardsestoft.ps">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://www.dina.kvl.dk/~sestoft/pebook/jonesgomardsestoft-letter.pdf">
|
|
|
|
|
pdf</a> <a href=
|
|
|
|
|
"http://www.dina.kvl.dk/~sestoft/pebook/pebook.html">book
|
|
|
|
|
website</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Darius Bacon. "A Hacker's Introduction to Partial
|
|
|
|
|
Evaluation". <em>The Lisp Magazine at lisp-p.org</em>.
|
|
|
|
|
August 2002. Available online: <a href=
|
|
|
|
|
"http://www.lisp-p.org/peval/peval.cgi">html</a>.
|
|
|
|
|
</li>
|
|
|
|
|
</ul><a name="scheme-pe" id="scheme-pe"></a>
|
|
|
|
|
<h3>
|
|
|
|
|
Partial Evaluators for Scheme
|
|
|
|
|
</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li>Anders Bondorf. "Similix 5.0 Manual". 1993.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/pub/diku/semantics/similix/similix-manual-5.0.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/pub/diku/semantics/similix/similix-manual-5.0.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel. "New Insights into Partial
|
|
|
|
|
Evaluation: the SCHISM Experiment". <em>2nd European
|
|
|
|
|
Symposium on Programming (ESOP '88)</em>. March 1988.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/consel-schism-esop88.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/consel-schism-esop88.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel. "A tour of Schism: a partial
|
|
|
|
|
evaluation system for higher-order applicative
|
|
|
|
|
languages". <em>ACM Symposium on Partial Evaluation and
|
|
|
|
|
Semantics-Based Program Manipulation (PEPM '93)</em>.
|
|
|
|
|
June 1993. Available online: <a href=
|
|
|
|
|
"http://compose.labri.fr/documentation/papers/tour-schism.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel. "Report on Schism (Manual)".
|
|
|
|
|
IRISA/University of Rennes I. January 1996. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"ftp://ftp.irisa.fr/local/lande/Schism/manual.ps.gz">ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Jesper Jørgensen. "Similix: A Self-Applicable
|
|
|
|
|
Partial Evaluator for Scheme". <em>Partial Evaluation:
|
|
|
|
|
Practice and Theory (DIKU International Summer School
|
|
|
|
|
1998)</em>. LNCS 1706. June 1998. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.dina.dk/~jesper/PEsummerschool/Similix/similix.html">
|
|
|
|
|
html</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Ørbæk. "POPE: An On-line Partial Evaluator".
|
|
|
|
|
University of Aarhus. June 1994. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"ftp://ftp.daimi.au.dk/pub/empl/poe/pope.ps.gz">ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann. "Towards Partial Evaluation of Full
|
|
|
|
|
Scheme". <em>Reflection'96</em>. April 1996. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/reflection96.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann. "Aspects of the PGG System:
|
|
|
|
|
Specialization for Standard Scheme". <em>Partial
|
|
|
|
|
Evaluation: Practice and Theory (DIKU International
|
|
|
|
|
Summer School 1998)</em>. LNCS 1706. June 1998.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann. "The PGG System - User Manual".
|
|
|
|
|
University at Freiburg. March 2000. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/proglang/software/pgg/pgg-manual.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/proglang/software/pgg/pgg-manual.html">
|
|
|
|
|
html</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Christian Mossin. "Similix Binding Time Debugger
|
|
|
|
|
Manual, system version 4.0". September 1991.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Rajeev J. Surati. "Practical Partial Evaluation".
|
|
|
|
|
Masters Thesis. Massachussets Institute of Technology.
|
|
|
|
|
May 1995. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/surati-smthesis.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/surati-smthesis.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Richard Schooler. "Partial Evaluation as a Means of
|
|
|
|
|
Language Extensibility". Masters Thesis. Massachusetts
|
|
|
|
|
Institute of Technology. MIT/LCS/TR-324. August 1984.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/schooler-smthesis.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/schooler-smthesis.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Lennart Swart. "Partial Evaluation using Rewrite
|
|
|
|
|
Rules: A Specification of a Partial Evaluator for
|
|
|
|
|
Similix in Stratego". Masters Thesis. Utrecht
|
|
|
|
|
University. August 2002. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/swart-msthesis.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/swart-msthesis.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
</ul><a name="appl-pe" id="appl-pe"></a>
|
|
|
|
|
<h3>
|
|
|
|
|
Applications of Partial Evaluation
|
|
|
|
|
</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li>Anders Bondorf. "Compiling laziness by partial
|
|
|
|
|
evaluation". <em>Functional Programming, Glasgow
|
|
|
|
|
1990</em>. 1990. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/bondorf-laziness-fp90.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/bondorf-laziness-fp90.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy. "More about Formatting". Aarhus
|
|
|
|
|
University. December 1993. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/more-about-formatting.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/more-about-formatting.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Mads Sig Ager, Olivier Danvy and Henning Korsholm
|
|
|
|
|
Rohde. "Fast Partial Evaluation of Pattern Matching in
|
|
|
|
|
Strings". <em>Partial Evaluation and Semantics-Based
|
|
|
|
|
Program Manipulation (PEPM '03)</em>. 2003. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://www.brics.dk/RS/03/20/BRICS-RS-03-20.ps.gz">ps</a>
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.brics.dk/RS/03/20/BRICS-RS-03-20.pdf">pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Andrew A. Berlin. "A Compilation Strategy for
|
|
|
|
|
Numerical Programs Based on Partial Evaluation".
|
|
|
|
|
Masters Thesis. February 1989. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AITR-1144.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AITR-1144.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Andrew A. Berlin and Daniel Weise. "Compiling
|
|
|
|
|
Scientific Code Using Partial Evaluation". July 1989.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1145.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1145.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Andrew A. Berlin and Rajeev J. Surati. "Exploiting
|
|
|
|
|
the Parallelism Exposed by Partial Evaluation". April
|
|
|
|
|
1993. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1414.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1414.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Andrew A. Berlin and Rajeev J. Surati. "Partial
|
|
|
|
|
Evaluation for Scientific Computing: The Supercomputer
|
|
|
|
|
Toolkit Experience". May 1994. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1487.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1487.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Rajeev J. Surati. "A Parallelizing Compiler Based
|
|
|
|
|
on Partial Evaluation". Massachusetts Institute of
|
|
|
|
|
Technology. AITR-1377. July 1993. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/surati-ugradtechreport.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/surati-ugradtechreport.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy and Morten Rhiger. "Compiling Actions
|
|
|
|
|
by Partial Evaluation, Revisited". Aarhus University.
|
|
|
|
|
June 1998. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-98-13.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-98-13.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf and Jens Palsberg. "Compiling
|
|
|
|
|
actions by partial evaluation". <em>Functional
|
|
|
|
|
Programming and Computer Architecture (FPCA'93)</em>.
|
|
|
|
|
June 1993. Available online: <a href=
|
|
|
|
|
"http://doi.acm.org/10.1145/165180.165227">ACM Digital
|
|
|
|
|
Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf and Jens Palsberg. "Generating
|
|
|
|
|
action compilers by partial evaluation". <em>Journal of
|
|
|
|
|
Functional Programming</em>. 6(2). 1996.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Hidehiko Masuhara, Gregor Kiczales and Christopher
|
|
|
|
|
Dutchyn. "A Compilation and Optimization Model for
|
|
|
|
|
Aspect-Oriented Programs". <em>Compiler Construction
|
|
|
|
|
(CC2003)</em>. 2003. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/masuhara-cc2003.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/masuhara-cc2003.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Hidehiko Masuhara, Gregor Kiczales and Christopher
|
|
|
|
|
Dutchyn. "Compilation Semantics of Aspect-Oriented
|
|
|
|
|
Programs". <em>Foundations Of Aspect-Oriented Languages
|
|
|
|
|
(Workshop at AOSD 2002)</em>. April 2002. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/masuhara-foal2002.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/masuhara-foal2002.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Scott Draves. "Compiler Generation for Interactive
|
|
|
|
|
Graphics using Intermediate Code". <em>Partial
|
|
|
|
|
Evaluation: Dagstuhl Seminar</em>. LNCS 1110. February
|
|
|
|
|
1996. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/draves-nitrous.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/draves-nitrous.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Scott Draves. "Automatic Program Specialization for
|
|
|
|
|
Interactive Media". PhD. Thesis. Carnegie Mellon
|
|
|
|
|
University. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/draves-thesis.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/draves-thesis.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel and Olivier Danvy. "Partial
|
|
|
|
|
Evaluation in Parallel". <em>Lisp and Symbolic
|
|
|
|
|
Computation</em>. Volume 5. Issue 4. 1992. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/consel-danvy-pe-parallel93.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/consel-danvy-pe-parallel93.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>David Herman and Philippe Meunier. "Improving the
|
|
|
|
|
Static Analysis of Embedded Languages via Partial
|
|
|
|
|
Evaluation". <em>International Conference on Functional
|
|
|
|
|
Programming (ICFP2004)</em>. September 2004. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://www.ccs.neu.edu/home/dherman/research/publications/dsel-cfa.ps">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://www.ccs.neu.edu/home/dherman/research/publications/dsel-cfa.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Mads Sig Ager, Olivier Danvy and Henning Korsholm
|
|
|
|
|
Rohde. "Fast Partial Evaluation of Pattern Matching in
|
|
|
|
|
Strings". University of Aarhus. BRICS-RS-03-11.
|
|
|
|
|
February 2003. Available online: <a href=
|
|
|
|
|
"http://www.brics.dk/~hense/papers/BRICS-RS-03-11.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://www.brics.dk/~hense/papers/BRICS-RS-03-11.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Mads Sig Ager, Olivier Danvy and Henning Korsholm
|
|
|
|
|
Rohde. "On Obtaining Knuth, Morris, and Pratt's String
|
|
|
|
|
Matcher by Partial Evaluation". <em>ASIAN Symposium on
|
|
|
|
|
Partial Evaluation and Semantics-Based Program
|
|
|
|
|
Manipulation, ASIA-PEPM '02</em>. July 2002. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://www.brics.dk/RS/02/32/BRICS-RS-02-32.ps.gz">ps</a>
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.brics.dk/RS/02/32/BRICS-RS-02-32.pdf">pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Torben Amtoft, Charles Consel, Olivier Danvy and
|
|
|
|
|
Karoline Malmkjær. "The Abstraction and Instantiation
|
|
|
|
|
of String-Matching Programs". University of Aarhus.
|
|
|
|
|
RS-01-12. April 2001. Available online: <a href=
|
|
|
|
|
"http://www.brics.dk/RS/01/12/BRICS-RS-01-12.ps.gz">ps</a>
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.brics.dk/RS/01/12/BRICS-RS-01-12.pdf">pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai, S. Matsuoka and Akinori Yonezawa.
|
|
|
|
|
"Duplication and Partial Evaluation - For a Better
|
|
|
|
|
Understanding of Reflective Languages". <em>Lisp and
|
|
|
|
|
Symbolic Computation</em>. Vol. 9, Nos. 2/3. May/June
|
|
|
|
|
1996. Available online: <a href=
|
|
|
|
|
"http://pllab.is.ocha.ac.jp/~asai/papers/lasc96-letter.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai, Hidehiko Masuhara, S. Matsuoka and
|
|
|
|
|
Akinori Yonezawa. "Partial evaluation as a compiler for
|
|
|
|
|
reflective languages". University of Tokyo. 95-10.
|
|
|
|
|
December 1995. Available online: <a href=
|
|
|
|
|
"http://www.is.s.u-tokyo.ac.jp/tech-reports/TR95-10-a4.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai, S. Matsuoka and Akinori Yonezawa.
|
|
|
|
|
"Roles of a Partial Evaluator for the Reflective
|
|
|
|
|
Language Black". University of Tokyo. 94-11. May 1994.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://www.is.s.u-tokyo.ac.jp/tech-reports/TR94-11-letter.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai. "Online partial evaluation for shift
|
|
|
|
|
and reset". <em>Proceedings of the 2002 ACM SIGPLAN
|
|
|
|
|
workshop on Partial evaluation and semantics-based
|
|
|
|
|
program manipulation (PEPM'02)</em>. January 2002.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://pllab.is.ocha.ac.jp/~asai/papers/pepm02.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://portal.acm.org/citation.cfm?id=503034&coll=portal&dl">
|
|
|
|
|
ACM Digital Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai. "Can partial evaluation improve the
|
|
|
|
|
performance of ray tracing?". Ochanomizu University.
|
|
|
|
|
June 2002. Available online: <a href=
|
|
|
|
|
"http://pllab.is.ocha.ac.jp/~asai/papers/ewha01.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Andrew A. Berlin and Rajeev J. Surati. "Partial
|
|
|
|
|
Evaluation for Scientific Computing: The Supercomputer
|
|
|
|
|
Toolkit Experience". <em>Partial Evaluation and
|
|
|
|
|
Semantics-Based Program Manipulation (PEPM'94)</em>.
|
|
|
|
|
June 1994. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/berlinsurati-pepm94.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/berlinsurati-pepm94.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Andrew A. Berlin. "Partial evaluation applied to
|
|
|
|
|
numerical computation". <em>LISP and Functional
|
|
|
|
|
Programming (LFP 1990)</em>. 1990. Available online:
|
|
|
|
|
<a href="http://doi.acm.org/10.1145/91556.91612">ACM
|
|
|
|
|
Digital Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Andrew A. Berlin and Daniel Weise. "Compiling
|
|
|
|
|
Scientific Code using Partial Evaluation". Stanford
|
|
|
|
|
Computer Systems Laboratory. CSL-TR-90-422. March 1990.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-2.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-2.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Wing-Yee Au, Daniel Weise and Scott Seligman.
|
|
|
|
|
"Generating Compiled Simulations Using Partial
|
|
|
|
|
Evaluation". <em>28th Design Automation
|
|
|
|
|
Conference</em>. June 1991. Available online:
|
|
|
|
|
<a href="http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-4.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-4.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Erik Ruf. "Partial Evaluation in Reflective System
|
|
|
|
|
Implementations". <em>OOPSLA'93 Workshop on Reflection
|
|
|
|
|
and Metalevel Architecture</em>. October 1993.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ruf93partial.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/ruf93partial.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel and Olivier Danvy. "Partial
|
|
|
|
|
Evaluation of Pattern Matching in Strings".
|
|
|
|
|
<em>Information Processing Letters</em>. Vol. 30. No.
|
|
|
|
|
2. January 1989. Available online: <a href=
|
|
|
|
|
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/consel-danvy-ipl89.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy. "Semantics-Directed Compilation of
|
|
|
|
|
Non-Linear Patterns". <em>Information Processing
|
|
|
|
|
Letters</em>. Vol. 37. March 1991. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/danvy-ipl91.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy, Juergen Koslowski and Karoline
|
|
|
|
|
Malmkjær. "Compiling Monads". Kansas State University.
|
|
|
|
|
CIS-92-3. December 1991. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-154.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-154.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy and Mayer Goldberg. "Partial
|
|
|
|
|
Evaluation of the Euclidian Algorithm".
|
|
|
|
|
<em>Higher-Order and Symbolic Computing</em>. Vol. 10.
|
|
|
|
|
No. 2. July 1997. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-97-1.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-97-1.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Carsten K. Gomard and Neil D. Jones. "A Partial
|
|
|
|
|
Evaluator for the Untyped Lambda Calculus". DIKU. D-15.
|
|
|
|
|
January 1991. Available online: <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/diku/semantics/papers/D-15.ps.gz">ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Carsten K. Gomard and Neil D. Jones. "Partial
|
|
|
|
|
evaluation of lambda calculus". <em>1998 DIKU
|
|
|
|
|
International Summerschool</em>. LNCS 1706. 1999.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/pe98-school/D-413.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/pe98-school/D-413.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Jesper Jørgensen. "Generating a compiler for a lazy
|
|
|
|
|
language by partial evaluation". <em>Principles of
|
|
|
|
|
Programming Languages (POPL'92)</em>. January 1992.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/diku/semantics/papers/D-98.ps.Z">ps</a>
|
|
|
|
|
<a href="http://doi.acm.org/10.1145/143165.143220">ACM
|
|
|
|
|
Digital Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Bernd Grobauer and Julia L. Lawall. "Partial
|
|
|
|
|
Evaluation of Pattern Matching in Strings, revisited".
|
|
|
|
|
BRICS report RS-00-31. September 2001. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://www.diku.dk/users/julia/BRICS-RS-00-31.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://www.diku.dk/users/julia/BRICS-RS-00-31.pdf">pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Julia L. Lawall. "Proofs by structural induction
|
|
|
|
|
using partial evaluation". <em>Proceedings of the ACM
|
|
|
|
|
SIGPLAN symposium on Partial evaluation and
|
|
|
|
|
semantics-based program manipulation (PEPM'93)</em>.
|
|
|
|
|
1993. Available online: <a href=
|
|
|
|
|
"http://portal.acm.org/citation.cfm?id=154646&dl=ACM&coll=portal">
|
|
|
|
|
ACM Digital Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Hidehiko Masuhara. "Architecture Design and
|
|
|
|
|
Compilation Techniques Using Partial Evaluation in
|
|
|
|
|
Reflective Concurrent Object-Oriented Languages". PhD.
|
|
|
|
|
Thesis. University of Tokyo. January 1999. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://www.graco.c.u-tokyo.ac.jp/~masuhara/papers/phdthesis.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://www.graco.c.u-tokyo.ac.jp/~masuhara/papers/phdthesis.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Hidehiko Masuhara and Akinori Yonezawa. "Design and
|
|
|
|
|
Partial Evaluation of Meta-objects for a Concurrent
|
|
|
|
|
Reflective Language". <em>European Conference on
|
|
|
|
|
Object-Oriented Programming (ECOOP'98)</em>. July 1998.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://www.yl.is.s.u-tokyo.ac.jp/pub/papers/ecoop98-abclr3-letter.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://www.yl.is.s.u-tokyo.ac.jp/pub/papers/ecoop98-abclr3.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Christian Mossin. "Partial evaluation of general
|
|
|
|
|
parsers". <em>Proceedings of the ACM SIGPLAN symposium
|
|
|
|
|
on Partial evaluation and semantics-based program
|
|
|
|
|
manipulation (PEPM'93)</em>. 1993. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://portal.acm.org/citation.cfm?id=154632&coll=portal&dl=ACM">
|
|
|
|
|
ACM Digital Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Christian Queinnec and Jean-Marie Geffroy. "Partial
|
|
|
|
|
evaluation applied to symbolic pattern matching with
|
|
|
|
|
intelligent backtrack". <em>WSA '92--Workshop on Static
|
|
|
|
|
Analysis</em>. September 1992. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/pewib.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://pagesperso-systeme.lip6.fr/Christian.Queinnec/PDF/pewib.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Michael Sperber and Peter Thiemann. "The Essence of
|
|
|
|
|
LR Parsing". <em>Partial Evaluation and Semantics-Based
|
|
|
|
|
Program Manipulation PEPM '95</em>. June 1995.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/pepm95.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann. "Compiling Adaptive Programs by
|
|
|
|
|
Partial Evaluation". <em>CC 2000</em>. volume 1781 of
|
|
|
|
|
Lecture Notes in Computer Science. March 2000.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/compile.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Karoline Malmkjær and Olivier Danvy. "Preprocessing
|
|
|
|
|
by Specialization". 1990.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Jesper Jørgensen. "Generating a Pattern Matching
|
|
|
|
|
Compiler by Partial Evaluation". <em>Glasgow Workshop
|
|
|
|
|
on Functional Programming</em>. July 1990. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-59.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-59.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Jesper Jørgensen. "Compiler Generation by Partial
|
|
|
|
|
Evaluation". Masters Thesis. DIKU, University of
|
|
|
|
|
Copenhagen. 1991. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-95.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-95.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Christian Mossin. "Partial evaluation of General
|
|
|
|
|
Parsers". <em>Partial Evaluation and Semantics Based
|
|
|
|
|
Program Manipulation (PEPM'93)</em>. June 1993.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-158.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-158.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy. "Across the Bridge between
|
|
|
|
|
Reflection and Partial Evaluation". <em>Partial
|
|
|
|
|
Evaluation and Mixed Computation</em>. 1988.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel and Siau Cheng Khoo.
|
|
|
|
|
"Semantics-directed generation of a Prolog compiler".
|
|
|
|
|
<em>Science of Computer Programming</em>. volume 21.
|
|
|
|
|
1993. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/consel-khoo-prolog.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/consel-khoo-prolog.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf. "A Self-Applicable Partial
|
|
|
|
|
Evaluator for Term Rewriting Systems". <em>Theory and
|
|
|
|
|
Practice of Software Development (TAPSOFT '89)</em>.
|
|
|
|
|
March 1989. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/bondorf-term-rewriting.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/bondorf-term-rewriting.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
</ul><a name="techniques" id="techniques"></a>
|
|
|
|
|
<h3>
|
|
|
|
|
Theory and Techniques
|
|
|
|
|
</h3>
|
|
|
|
|
<ul>
|
|
|
|
|
<li>Olivier Danvy. "Intensional and Extensional Aspects
|
|
|
|
|
of Partial Evaluation". Aarhus University. March 1995.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/pearls-pe.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/pearls-pe.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf and Jesper Jørgensen. "Efficient
|
|
|
|
|
analyses for realistic off-line partial evaluation:
|
|
|
|
|
extended version". University of Copenhagen. Technical
|
|
|
|
|
Report 93/4. 1993. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-164-part-1-and-3.ps.gz">
|
|
|
|
|
parts 1 and 3 (ps)</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-164-part-2.ps.gz">
|
|
|
|
|
part 2 (ps)</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-164-part-1-and-3.pdf">
|
|
|
|
|
parts 1 and 3 (pdf)</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-164-part-2.pdf">
|
|
|
|
|
part 2 (pdf)</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf and Jesper Jørgensen. "Efficient
|
|
|
|
|
analyses for realistic off-line partial evaluation".
|
|
|
|
|
<em>Journal of Functional Programming</em>. 3(3). July
|
|
|
|
|
1993.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and Jesper Jørgensen. "Fast
|
|
|
|
|
Binding-Time Analysis for Multi-Level Specialization".
|
|
|
|
|
<em>Perspectives of System Informatics</em>. 1996.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-279.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-279.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and Jesper Jørgensen. "Efficient
|
|
|
|
|
Multi-Level Generating Extensions for Program
|
|
|
|
|
Specialization". <em>Programming Languages:
|
|
|
|
|
Implementations, Logics and Programs (PLILP'95)</em>.
|
|
|
|
|
1995. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-229.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-229.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and Jesper Jørgensen. "Multi-Level
|
|
|
|
|
Specialization (Extended Abstract)". <em>Partial
|
|
|
|
|
Evaluation: Practice and Theory 1998</em>. 1998.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-363.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-363.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy. "Online Type-Directed Partial
|
|
|
|
|
Evaluation". <em>Third Fuji International Symposium on
|
|
|
|
|
Functional and Logic Programming, FLOPS '98</em>. April
|
|
|
|
|
1998. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-97-53.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-97-53.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>René Vestergaard. "From Proof Normalization to
|
|
|
|
|
Compiler Generation and Type-Directed
|
|
|
|
|
Change-of-Representation". Masters Thesis. Aarhus
|
|
|
|
|
University. 1997. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/vestergaard-thesis.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/vestergaard-thesis.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy. "Programming Techniques for Partial
|
|
|
|
|
Evaluation". <em>Marktoberdorf 1999</em>. January 2000.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/danvy-ln.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/danvy-ln.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Karoline Malmkjær. "On Static Properties of
|
|
|
|
|
Specialized Programs". <em>BIGRE journal</em>. number
|
|
|
|
|
74. October 1991. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-103.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-103.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Karoline Malmkjær. "Predicting Properties of
|
|
|
|
|
Specialized Programs". Kansas State University. PhD
|
|
|
|
|
proposal. November 1991. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-148.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-148.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Karoline Malmkjær. "Predicting Properties of
|
|
|
|
|
Residual Programs". <em>Partial Evaluation and
|
|
|
|
|
Semantics-Based Program Manipulation (PEPM'92)</em>.
|
|
|
|
|
June 1992.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and A. V. Klimov. "Occam's Razor in
|
|
|
|
|
Metacomputation: the Notion of a Perfect Process Tree".
|
|
|
|
|
<em>Static Analysis 1993</em>. 1993. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-170.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-170.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Christian Mossin. "Polymorphic Binding Time
|
|
|
|
|
Analysis". Masters Thesis. DIKU, University of
|
|
|
|
|
Copenhagen. July 1993. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-174.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-174.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and Jesper Jørgensen. "Generating
|
|
|
|
|
Optimizing Specializers". <em>IEEE International
|
|
|
|
|
Conference on Computer Languages</em>. 1994. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-186.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-186.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and Jesper Jørgensen. "Generating
|
|
|
|
|
Transformers for Deforestation and Supercompilation".
|
|
|
|
|
<em>Static Analysis 1994</em>. 1994. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-195.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-195.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück, John Hatcliff and Jesper Jørgensen.
|
|
|
|
|
"Generalization in Hierarchies of Online Program
|
|
|
|
|
Specialization Systems". <em>Logic-Based Program
|
|
|
|
|
Synthesis and Transformation 1999</em>. 1999. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-380.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-380.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Arne J. Glenstrup. "Terminator II: Stopping Partial
|
|
|
|
|
Evaluation of Fully Recursive Programs". Masters
|
|
|
|
|
Thesis. DIKU, University of Copenhagen. June 1999.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-401.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-401.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück, Y. Kawada and T. Hashimoto.
|
|
|
|
|
"Transforming Interpreters into Inverse Interpreters by
|
|
|
|
|
Partial Evaluation". <em>Partial Evaluation and
|
|
|
|
|
Semantics-Based Program Manipulation (PEPM 2003)</em>.
|
|
|
|
|
2003. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-490.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-490.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Neil D. Jones and Arne J. Glenstrup. "Partial
|
|
|
|
|
Evaluation Termination Analysis and
|
|
|
|
|
Specialization-Point Insertion". <em>Transactions on
|
|
|
|
|
Programming Languages and Systems</em>. 2004. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-498.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-498.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Arne J. Glenstrup. "Implementation Notes for the
|
|
|
|
|
Termination-Guaranteeing Binding-Time Analysis".
|
|
|
|
|
December 2002. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/pgg-sct-impl-details.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai. "Offline Partial Evaluation for Shift
|
|
|
|
|
and Reset". <em>Partial Evaluation and Semantics-Based
|
|
|
|
|
Program Manipulation (PEPM '04)</em>. August 2004.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://pllab.is.ocha.ac.jp/~asai/papers/pepm04.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai. "Binding-Time Analysis for Both
|
|
|
|
|
Static and Dynamic Expressions". <em>New Generation
|
|
|
|
|
Computing</em>. Vol. 20. No. 1. November 2001.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://pllab.is.ocha.ac.jp/~asai/papers/ngc02.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai. "Integrating Partial Evaluators into
|
|
|
|
|
Interpreters,". <em>Semantics, Applications, and
|
|
|
|
|
Implementation of Program Generation</em>. LNCS 2196.
|
|
|
|
|
September 2001. Available online: <a href=
|
|
|
|
|
"http://pllab.is.ocha.ac.jp/~asai/papers/saig01.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai. "Binding-Time Analysis for Both
|
|
|
|
|
Static and Dynamic Expressions". <em>Static
|
|
|
|
|
Analysis</em>. LNCS 1694. September 1999. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://pllab.is.ocha.ac.jp/~asai/papers/sas99.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai, Hidehiko Masuhara and Akinori
|
|
|
|
|
Yonezawa. "Partial Evaluation of Call-by-value
|
|
|
|
|
Lambda-calculus with Side-effects". <em>ACM SIGPLAN
|
|
|
|
|
Conference on Partial Evaluation and Semantics-Based
|
|
|
|
|
Program Manipulation (PEPM '97)</em>. June 1997.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://pllab.is.ocha.ac.jp/~asai/papers/pepm97.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Kenichi Asai, Hidehiko Masuhara and Akinori
|
|
|
|
|
Yonezawa. "Partial Evaluation of Call-by-value
|
|
|
|
|
lambda-calculus with Side-effects". University of
|
|
|
|
|
Tokyo. 96-04. November 1996. Available online:
|
|
|
|
|
<a href="http://www.is.s.u-tokyo.ac.jp/tech-reports/TR96-04-a4.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>J. Michael Ashley and Charles Consel. "Fixpoint
|
|
|
|
|
Computation for Polyvariant Static Analyses of
|
|
|
|
|
Higher-Order Applicative Programs". <em>ACM
|
|
|
|
|
Transactions on Programming Languages and Systems</em>.
|
|
|
|
|
16(5). September 1994. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/jmashley/toplas94.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf. "Self-Applicable Partial
|
|
|
|
|
Evaluation". PhD. Thesis. DIKU. 1990.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf. "Automatic Autoprojection of Higher
|
|
|
|
|
Order Recursive Equations". <em>European Symposium on
|
|
|
|
|
Programming (ESOP 1990)</em>. LNCS 432. May 1990.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/bondorf-esop90.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/bondorf-esop90.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf. "Automatic Autoprojection of higher
|
|
|
|
|
order recursive equations". <em>Science of Computer
|
|
|
|
|
Programming</em>. volume 17. 1991. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/bondorf-scp91.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/bondorf-scp91.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf and Olivier Danvy. "Automatic
|
|
|
|
|
Autoprojection of Recursive Equations with Global
|
|
|
|
|
Variables and Abstract Data Types". <em>Science of
|
|
|
|
|
Computer Programming</em>. Vol. 16. 1991. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/bondorf-danvy-scp91.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf. "Improving binding times without
|
|
|
|
|
explicit CPS-conversion". <em>Proceedings of the
|
|
|
|
|
conference on Lisp and functional programming</em>.
|
|
|
|
|
June 1992. Available online: <a href=
|
|
|
|
|
"http://www.acm.org/pubs/citations/proceedings/lfp/141471/p1-bondorf/">
|
|
|
|
|
ACM Digital Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Anders Bondorf and Dirk Dussart. "Improving
|
|
|
|
|
CPS-Based Partial Evaluation, Writing Cogen by Hand".
|
|
|
|
|
<em>Partial Evaluation and Semantics-Based Program
|
|
|
|
|
Manipulation (PEPM'94)</em>. June 1994. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"ftp://ftp.dina.kvl.dk/pub/Staff/Peter.Sestoft/pepm94-proceedings/bondorf.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel. "Analyse de Programmes, Evaluation
|
|
|
|
|
Partielle et Génération de Compilateurs". PhD. Thesis.
|
|
|
|
|
Université de Paris VI. 1989.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel. "Polyvariant binding-time analysis
|
|
|
|
|
for higher-order, applicative languages". <em>ACM
|
|
|
|
|
Symposium on Partial Evaluation and Semantics-Based
|
|
|
|
|
Program Manipulation (PEPM '93)</em>. June 1993.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://compose.labri.fr/documentation/papers/bta.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel and Siau Cheng Khoo. "On-line and
|
|
|
|
|
Off-line Partial Evaluation: Semantic Specifications
|
|
|
|
|
and Correctness Proofs". Yale University. 1993.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://compose.labri.fr/documentation/papers/sem-fope.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel and Olivier Danvy. "From
|
|
|
|
|
Interpreting to Compiling Binding Times". <em>European
|
|
|
|
|
Symposium on Programming (ESOP 1990)</em>. LNCS 432.
|
|
|
|
|
May 1990. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/consel-danvy-esop90.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/consel-danvy-esop90.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel and Olivier Danvy. "Static and
|
|
|
|
|
Dynamic Semantics Processing". <em>Principles of
|
|
|
|
|
Programming Languages (POPL'91)</em>. January 1991.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/consel-danvy-popl91.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Charles Consel and Olivier Danvy. "For a Better
|
|
|
|
|
Support of Static Data Flow". <em>Functional
|
|
|
|
|
Programming and Computer Architecture (FPCS'91)</em>.
|
|
|
|
|
1991. Available online: <a href=
|
|
|
|
|
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/consel-danvy-fpca91.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy and René Vestergaard.
|
|
|
|
|
"Semantics-Based Compiling: A Case Study in
|
|
|
|
|
Type-Directed Partial Evaluation". University of
|
|
|
|
|
Aarhus. BRICS 96-13. May 1996. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.brics.dk/RS/96/13/BRICS-RS-96-13.ps.gz">ps</a>
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.brics.dk/RS/96/13/BRICS-RS-96-13.pdf">pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy. "Type-Directed Partial Evaluation".
|
|
|
|
|
<em>Principles of Programming Languages (POPL'96)</em>.
|
|
|
|
|
1996. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/PB-494.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/brics/PB-494.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Torben Æ. Mogensen. "Gödelization in the untyped
|
|
|
|
|
lambda calculus". <em>Partial Evaluation and
|
|
|
|
|
Semantics-Based Program Manipulation (PEPM99)</em>.
|
|
|
|
|
January 1999. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/mogensen-pepm99.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/mogensen-pepm99.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy and René Vestergaard.
|
|
|
|
|
"Semantics-Based Compiling: A Case Study in
|
|
|
|
|
Type-Directed Partial Evaluation". <em>PLILP'96</em>.
|
|
|
|
|
1996. Available online: <a href=
|
|
|
|
|
"http://citeseer.nj.nec.com/rd/2643588%2C372108%2C1%2C0.25%2CDownload/http://citeseer.nj.nec.com/compress/0/papers/cs/11422/http:zSzzSzwww.cee.hw.ac.ukzSz~jrvestzSzWritingszSzdanvy-vestergaard-plilp96.ps.gz/semantics-based-compiling-a.ps">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://citeseer.nj.nec.com/rd/2643588%2C372108%2C1%2C0.25%2CDownload/http://citeseer.nj.nec.com/cache/papers/cs/11422/http:zSzzSzwww.cee.hw.ac.ukzSz%7EjrvestzSzWritingszSzdanvy-vestergaard-plilp96.pdf/semantics-based-compiling-a.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy, Karoline Malmkjær and Jens Palsberg.
|
|
|
|
|
"The Essence of Eta-Expansion in Partial Evaluation".
|
|
|
|
|
<em>Partial Evaluation and Semantics-Based Program
|
|
|
|
|
Manipulation (PEPM'94)</em>. June 1994. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"ftp://ftp.dina.kvl.dk/pub/Staff/Peter.Sestoft/pepm94-proceedings/danvy.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy, Karoline Malmkjær and Jens Palsberg.
|
|
|
|
|
"Eta-Expansion Does the Trick". <em>Transactions on
|
|
|
|
|
Programming Languages and Systems</em>. Vol. 18. No. 4.
|
|
|
|
|
November 1996. Available online: <a href=
|
|
|
|
|
"http://www.brics.dk/RS/96/17/BRICS-RS-96-17.ps.gz">ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy, Karoline Malmkjær and Jens Palsberg.
|
|
|
|
|
"Eta-Expansion Does the Trick". University of Aarhus.
|
|
|
|
|
BRICS RS-95-41. November 1995. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/danvy-malmkjaer-palsberg-brics95.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy. "Pragmatics of Type-Directed Partial
|
|
|
|
|
Evaluation". <em>Partial Evaluation: Dagstuhl
|
|
|
|
|
Seminar</em>. LNCS 1110. February 1996. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://www.brics.dk/RS/96/15/BRICS-RS-96-15.ps.gz">ps</a>
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.brics.dk/RS/96/15/BRICS-RS-96-15.pdf">pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and Jesper Jørgensen. "Multi-Level
|
|
|
|
|
Specialization (Extended Abstract)". <em>Partial
|
|
|
|
|
Evaluation - Practice and Theory, DIKU 1998
|
|
|
|
|
International Summer School</em>. LNCS 1706. June 1998.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/pe98-school/D-363.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/pe98-school/D-363.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and Jesper Jørgensen. "Fast
|
|
|
|
|
Binding-Time Analysis for Multi-Level Specialization".
|
|
|
|
|
<em>Perspectives of System Informatics</em>. LNCS 1181.
|
|
|
|
|
1996. Available online: <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/diku/semantics/papers/D-279.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Robert Glück and Jesper Jørgensen. "An Automatic
|
|
|
|
|
Program Generator for Multi-Level Specialization". <em>
|
|
|
|
|
Higher-Order and Symbolic Computing</em>. Vol. 10.
|
|
|
|
|
No. 2. July 1997. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-325.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-325.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Bernd Grobauer. "Topics in Semantics-based Program
|
|
|
|
|
Manipulation". PhD. Thesis. University of Aarhus. July
|
|
|
|
|
2001. Available online: <a href=
|
|
|
|
|
"http://www.brics.dk/DS/01/6/BRICS-DS-01-6.ps.gz">ps</a>
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.brics.dk/DS/01/6/BRICS-DS-01-6.pdf">pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>John Hatcliff and Robert Glück. "Reasoning about
|
|
|
|
|
Hierarchies of Online Program Specialization Systems".
|
|
|
|
|
<em>Partial Evaluation: Dagstuhl Seminar</em>. LNCS
|
|
|
|
|
1110. February 1996. Available online: <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/diku/semantics/papers/D-269.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Simon Helsen and Peter Thiemann. "Two Flavors of
|
|
|
|
|
Offline Partial Evaluation". <em>Asian Computing
|
|
|
|
|
Science Conference, ASIAN'98</em>. December 1998.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/flavors.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Simon Helsen and Peter Thiemann. "Fragmental
|
|
|
|
|
Specialization". <em>Semantics, Applications and
|
|
|
|
|
Implementation of Program Generation (SAIG'00)</em>.
|
|
|
|
|
volume 1927 of Lecture Notes in Computer Science.
|
|
|
|
|
September 2000. Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/saig2000.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Neil D. Jones. "Partial Evaluation and the
|
|
|
|
|
Generation of Program Generators". DIKU. D-130. January
|
|
|
|
|
1992. Available online: <a href=
|
|
|
|
|
"ftp://ftp.diku.dk/diku/semantics/papers/D-130.ps.Z">ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Morry Katz and Daniel Weise. "Towards a New
|
|
|
|
|
Perspective on Partial Evaluation". <em>1992 ACM
|
|
|
|
|
SIGPLAN Workshop on Partial Evaluation and
|
|
|
|
|
Semantics-Directed Program Manipulation, pp. 67-74, San
|
|
|
|
|
Francisco, June, 1992</em>. June 1992. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-12.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-12.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Morry Katz. "Towards a New Perspective on Partial
|
|
|
|
|
Evaluation: Results, New Ideas, and Future Directions".
|
|
|
|
|
Stanford Computer Systems Laboratory. June 1993.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-93-15.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-93-15.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Julia L. Lawall and Olivier Danvy.
|
|
|
|
|
"Continuation-Based Partial Evaluation". <em>1994 ACM
|
|
|
|
|
Conference on Lisp and Functional Programming</em>.
|
|
|
|
|
1994. Available online: <a href=
|
|
|
|
|
"http://www.diku.dk/users/julia/lawall-danvy-lfp94.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Julia L. Lawall and Olivier Danvy.
|
|
|
|
|
"Continuation-Based Partial Evaluation". Computer
|
|
|
|
|
Science Department, Brandeis University. Technical
|
|
|
|
|
Report CS-95-178. February 1995. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.diku.dk/users/julia/lawall-danvy-lfp94-extended.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Karoline Malmkjær. "Towards Efficient Partial
|
|
|
|
|
Evaluation". <em>Partial evaluation and semantics-based
|
|
|
|
|
program manipulation (PEPM'93)</em>. August 1993.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-161.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/topps/D-161.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Karoline Malmkjær and Peter Ørbæk. "Polyvariant
|
|
|
|
|
specialization for higher-order, block-structured
|
|
|
|
|
languages". <em>Partial evaluation and semantics-based
|
|
|
|
|
program manipulation (PEPM'95)</em>. June 1995.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"ftp://ftp.daimi.au.dk/pub/empl/poe/pepm95.ps.gz">ps</a>
|
|
|
|
|
<a href="http://doi.acm.org/10.1145/215465.215558">ACM
|
|
|
|
|
Digital Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Karoline Malmkjær. "Program and Data Specialization
|
|
|
|
|
Principles, Applications, and Self-Application".
|
|
|
|
|
Masters Thesis. DIKU. August 1989. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/malmkjaer-speciale.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/malmkjaer-speciale.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Karoline Malmkjær. "Abstract Interpretation of
|
|
|
|
|
Partial-Evaluation Algorithms". PhD. Thesis. Kansas
|
|
|
|
|
State University. 1993. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/malmkjaer-phdthesis.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/malmkjaer-phdthesis.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Erik Ruf and Daniel Weise. "On the Specialization
|
|
|
|
|
of Online Program Specializers". Stanford Computer
|
|
|
|
|
Systems Laboratory. CSL-TR-92-534. July 1992. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-13.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-13.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Erik Ruf. "Topics in Online Partial Evaluation".
|
|
|
|
|
PhD. Thesis. March 1993. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-93-14.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-93-14.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Erik Ruf and Daniel Weise. "Opportunities for
|
|
|
|
|
Online Partial Evaluation". Stanford Computer Systems
|
|
|
|
|
Laboratory. CSL-TR-92-516. April 1992. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-7.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-7.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Erik Ruf and Daniel Weise. "Avoiding Redundant
|
|
|
|
|
Specialization During Partial Evaluation". Stanford
|
|
|
|
|
Computer Systems Laboratory. CSL-TR-92-518. April 1992.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-9.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-9.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Erik Ruf and Daniel Weise. "Improving the Accuracy
|
|
|
|
|
of Higher-Order Specialization using Control Flow
|
|
|
|
|
Analysis". <em>1992 ACM SIGPLAN Workshop on Partial
|
|
|
|
|
Evaluation and Semantics-Directed Program Manipulation,
|
|
|
|
|
pp. 67-74, San Francisco, June, 1992</em>. June 1992.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-11.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-11.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Michael Sperber, Robert Glück and Peter Thiemann.
|
|
|
|
|
"Bootstrapping Higher-Order Program Transformers from
|
|
|
|
|
Interpreters". <em>Proceedings 11th Annual ACM
|
|
|
|
|
Symposium on Applied Computing, SAC (SAC '96)</em>.
|
|
|
|
|
February 1996. Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/bootstrap-transformers.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Michael Sperber and Peter Thiemann. "Realistic
|
|
|
|
|
Compilation by Partial Evaluation". <em>Proc. of the
|
|
|
|
|
ACM SIGPLAN '96 Conference on Programming Language
|
|
|
|
|
Design and Implementation</em>. May 1996. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/realistic.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Michael Sperber. "Self-Applicable Online Partial
|
|
|
|
|
Evaluation". <em>Partial Evaluation: Dagstuhl
|
|
|
|
|
Seminar</em>. LNCS 1110. February 1996. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/sperber-pe96.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/sperber-pe96.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Michael Sperber and Peter Thiemann. "Two for the
|
|
|
|
|
Price of One: Composing Partial Evaluation and
|
|
|
|
|
Compilation". <em>Proc. of the ACM SIGPLAN '97
|
|
|
|
|
Conference on Programming Language Design and
|
|
|
|
|
Implementation</em>. June 1997. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/compose.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Michael Sperber, Peter Thiemann and Herbert
|
|
|
|
|
Klaeren. "Distributed Partial Evaluation". <em>Proc. of
|
|
|
|
|
the Second International Symposium on Parallel Symbolic
|
|
|
|
|
Computation, PASCO'97</em>. July 1997. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/distpe.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Eijiro Sumii and Naoki Kobayashi.
|
|
|
|
|
"Online-and-Offline Partial Evaluation: A Mixed
|
|
|
|
|
Approach". <em>Partial Evaluation and Semantics-Based
|
|
|
|
|
Program Manipulation (PEPM'00)</em>. January 2000.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pub/onpe.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Eijiro Sumii and Naoki Kobayashi. "A Hybrid
|
|
|
|
|
Approach to Online and Offline Partial Evaluation".
|
|
|
|
|
<em>Higher-Order and Symbolic Computation</em>. Vol.
|
|
|
|
|
14. No. 2/3. September 2001. Available online:
|
|
|
|
|
<a href="http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pub/onpe-hosc.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pub/onpe-hosc.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Eijiro Sumii. "A Hybrid Approach To Online And
|
|
|
|
|
Offline Partial Evaluation". Masters Thesis. University
|
|
|
|
|
of Tokyo. February 2000. Available online: <a href=
|
|
|
|
|
"http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pub/onpe.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://citeseer.nj.nec.com/rd/2643588%2C371973%2C1%2C0.25%2CDownload/http://citeseer.nj.nec.com/cache/papers/cs/17182/http:zSzzSzwww.yl.is.s.u-tokyo.ac.jpzSz%7EsumiizSzpubzSz.zSzm_thesis.pdf/sumii00hybrid.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Eijiro Sumii and Naoki Kobayashi. "Online
|
|
|
|
|
Type-Directed Partial Evaluation for Dynamically-Typed
|
|
|
|
|
Languages". <em>Computer Software</em>. Vol. 17. No. 3.
|
|
|
|
|
May 2000. Available online: <a href=
|
|
|
|
|
"http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pub/dynamic-tdpe.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pub/dynamic-tdpe.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Rajeev J. Surati. "Practical Partial Evaluation".
|
|
|
|
|
Masters Thesis. Massachussets Institute of Technology.
|
|
|
|
|
May 1995. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/surati-smthesis.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/surati-smthesis.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann and Dirk Dussart. "Partial
|
|
|
|
|
Evaluation for Higher-Order Languages with State". July
|
|
|
|
|
1999. Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/mlpe.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann and Robert Glück. "The Generation of
|
|
|
|
|
a Higher-Order Online Partial Evaluator". <em>Fuji
|
|
|
|
|
Workshop on Functional and Logic Programming</em>. July
|
|
|
|
|
1995. Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/fuji95.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann. "Cogen in Six Lines". <em>Proc. ACM
|
|
|
|
|
SIGPLAN International Conference on Functional
|
|
|
|
|
Programming 1996</em>. May 1996. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/icfp96.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann and Michael Sperber. "Polyvariant
|
|
|
|
|
Expansion and Compilergenerators". <em>PSI-96: Andrei
|
|
|
|
|
Ershov Second International Memorial Conference,
|
|
|
|
|
Perspectives of System Informatics</em>. June 1996.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/poly.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann. "Implementing Memoization for
|
|
|
|
|
Partial Evaluation". <em>Programming Languages,
|
|
|
|
|
Implementations, Logics, and Programs (PLILP '96)</em>.
|
|
|
|
|
volume 1140 of Lecture Notes in Computer Science.
|
|
|
|
|
September 1996. Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/memoization.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Peter Thiemann. "Higher-Order Code Splicing". <em>
|
|
|
|
|
European Symposium on Programming, ESOP '99</em>.
|
|
|
|
|
volume 1576 of Lecture Notes in Computer Science.
|
|
|
|
|
March 1999. Available online: <a href=
|
|
|
|
|
"http://www.informatik.uni-freiburg.de/~thiemann/papers/esop99.ps.gz">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Oscar Waddell and R. Kent Dybvig. "Visualizing
|
|
|
|
|
partial evaluation". <em>ACM Computing Surveys
|
|
|
|
|
Symposium on Partial Evaluation</em>. 30(3es):24-es.
|
|
|
|
|
September 1998. Available online: <a href=
|
|
|
|
|
"http://doi.acm.org/10.1145/289121.289145">ACM Digital
|
|
|
|
|
Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Morten Rhiger. "A Study in Higher-Order Programming
|
|
|
|
|
Languages". Masters Thesis. Aarhus University. December
|
|
|
|
|
1997. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/rhiger-msthesis.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/rhiger-msthesis.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Daniel Weise. "Graphs as an Intermediate
|
|
|
|
|
Representation for Partial Evaluation". Stanford
|
|
|
|
|
University. CSL-TR-90-421. March 1990. Available
|
|
|
|
|
online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-1.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-1.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Daniel Weise and Erik Ruf. "Computing Types During
|
|
|
|
|
Program Specialization". Stanford University.
|
|
|
|
|
CSL-TR-90-441. October 1990. Available online:
|
|
|
|
|
<a href="http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-3.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-3.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Erik Ruf and Daniel Weise. "Using Types to Avoid
|
|
|
|
|
Redundant Specialization". <em>Partial Evaluation and
|
|
|
|
|
Semantics-Directed Program Manipulation, PEPM'91</em>.
|
|
|
|
|
June 1991. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-5.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-5.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Erik Ruf and Daniel Weise. "Preserving Information
|
|
|
|
|
During Online Partial Evaluation". Stanford University.
|
|
|
|
|
CSL-TR-92-517. April 1992. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-8.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-8.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Daniel Weise and Erik Ruf. "Computing Types During
|
|
|
|
|
Program Specialization". Stanford Computer Systems
|
|
|
|
|
Laboratory. December 1990. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-3-REVISED.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-3-REVISED.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Daniel Weise, Roland Conybeare, Erik Ruf and Scott
|
|
|
|
|
Seligman. "Automatic Online Partial Evaluation".
|
|
|
|
|
<em>Proceedings of the Conference on Functional
|
|
|
|
|
Programming Languages and Computer Architecture,
|
|
|
|
|
1991</em>. June 1991. Available online: <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-6.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-6.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Ulrik Pagh Schultz. "Explicit and Implicit Aspects
|
|
|
|
|
of Scope and Block Structure". Masters Thesis.
|
|
|
|
|
University of Aarhus. June 1997. Available online:
|
|
|
|
|
<a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/schultz-speciale.ps.gz">
|
|
|
|
|
ps</a> <a href=
|
|
|
|
|
"http://repository.readscheme.org/ftp/papers/schultz-speciale.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy and Ulrik Pagh Schultz.
|
|
|
|
|
"Lambda-dropping: transforming recursive equations into
|
|
|
|
|
programs with block structure". <em>Partial Evaluation
|
|
|
|
|
and Semantics-Based Program Manipulation
|
|
|
|
|
(PEPM'97)</em>. June 1997. Available online: <a href=
|
|
|
|
|
"http://doi.acm.org/10.1145/258993.259007">ACM Digital
|
|
|
|
|
Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy and Ulrik Pagh Schultz.
|
|
|
|
|
"Lambda-Dropping: Transforming Recursive Equations into
|
|
|
|
|
Programs with Block Structure ". University of Aarhus.
|
|
|
|
|
RS-97-6. March 1997. Available online: <a href=
|
|
|
|
|
"http://www.brics.dk/RS/97/6/BRICS-RS-97-6.ps.gz">ps</a>
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.brics.dk/RS/97/6/BRICS-RS-97-6.pdf">pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy and Ulrik Pagh Schultz.
|
|
|
|
|
"Lambda-Dropping: Transforming Recursive Equations into
|
|
|
|
|
Programs with Block Structure". <em>Theoretical
|
|
|
|
|
Computer Science</em>. Volume 248/1-2. November 2000.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://www.daimi.au.dk/~ups/papers/tcs00.ps.gz">ps</a>
|
|
|
|
|
<a href="http://www.daimi.au.dk/~ups/papers/tcs00.pdf">
|
|
|
|
|
pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy and Ulrik Pagh Schultz.
|
|
|
|
|
"Lambda-Dropping: Transforming Recursive Equations into
|
|
|
|
|
Programs with Block Structure ". University of Aarhus.
|
|
|
|
|
RS-99-27. September 1999. Available online: <a href=
|
|
|
|
|
"http://www.brics.dk/RS/99/27/BRICS-RS-99-27.ps.gz">ps</a>
|
|
|
|
|
<a href=
|
|
|
|
|
"http://www.brics.dk/RS/99/27/BRICS-RS-99-27.pdf">pdf</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Saumya Debray. "Resource-bounded partial
|
|
|
|
|
evaluation". <em>Partial Evaluation and Semantics-Based
|
|
|
|
|
Program Manipulation (PEPM'97)</em>. June 1997.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://doi.acm.org/10.1145/258993.259017">ACM Digital
|
|
|
|
|
Library</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Saumya Debray. "Resource-bounded partial
|
|
|
|
|
evaluation". University of Arizona. January 1998.
|
|
|
|
|
Available online: <a href=
|
|
|
|
|
"http://www.cs.arizona.edu/people/debray/papers/rbpa.ps">
|
|
|
|
|
ps</a>.
|
|
|
|
|
</li>
|
|
|
|
|
<li>Olivier Danvy. "Across the Bridge between
|
|
|
|
|
Reflection and Partial Evaluation". <em>Partial
|
|
|
|
|
Evaluation and Mixed Computation</em>. 1988.
|
|
|
|
|
</li>
|
|
|
|
|
</ul>
|
|
|
|
|
<p>
|
|
|
|
|
<img width="1" height="40" border="0" src=
|
|
|
|
|
"./imgs/dot_clear.gif">
|
|
|
|
|
</p>
|
|
|
|
|
<div class="collophon" align="right">
|
|
|
|
|
Hosted by <a href=
|
|
|
|
|
"http://concurrency.cc">concurrency.cc</a>.Last
|
|
|
|
|
modified: Saturday, August 11th, 2012 4:55:48pm<br>
|
|
|
|
|
HTML generated using <a href=
|
|
|
|
|
"http://celtic.benderweb.net/webit/">WebIt!</a>.
|
|
|
|
|
</div>
|
|
|
|
|
</td>
|
|
|
|
|
</tr>
|
|
|
|
|
</table>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
