Partial Evaluation References Sought

Thread View: comp.lang.functional

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Paul Sanders Tue, 15 Jan 1991 15:24

#739

Author: Paul Sanders
Date: Tue, 15 Jan 1991 15:24

14 lines
1067 bytes

Can anybody supply me with some definitive references on partial 
evaluation ? I'm ideally looking for a good introduction to the
topic and maybe some papers discussing some applications.

Can anyone help ?

Cheers,

Paul.
------
"The intuitionistic tradition understands proofs as subjectivistic entities,
and develops an ideology of intensionality, which is often nothing more than
an alibi for taxonomy, whereas one may reasonably advocate that proofs are
the written trace of underlying geometric structures." - Jean-Yves Girard

Re: Partial Evaluation References Sought

#738

Author: Peter Sestoft
Date: Wed, 16 Jan 1991 11:29

36 lines
2131 bytes

psanders@axion.bt.co.uk (Paul Sanders) writes:

>Can anybody supply me with some definitive references on partial 
>evaluation ? 

I (try to) keep a fully updated and partially annotated bibliography
on partial evaluation papers.  It is in Bibtex format and is a rather
large file.  I am willing to tarmail it to people that would like to
have it.  (In which case I would appreciate that people send possible
future updates to me).

>I'm ideally looking for a good introduction to the
>topic and maybe some papers discussing some applications.

"Our" classical paper :-) is:

N.D. Jones, P. Sestoft and H. S{\o}ndergaard,
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler
Generation, Lisp and Symbolic Computation 2, 1 (1989) 9-50.

"A comprehensive discussion of partial evaluation, its applications to
generation of compilers and compiler generators, and of engineering
problems is given.  A fully automatic version of the partial evaluator
discussed in \cite{Jones:85:AnExperiment} is described and results
from its use are reported."

There are lots of more recent papers.  Notable recent work which
continues the above is Anders Bondorf's "Similix" system for partial
evaluation of Scheme.  A Ph.D. report describing this should soon be
obtainable from the author (anders@diku.dk).

Peter
-- 
Peter Sestoft  *  sestoft@diku.dk   *   DIKU,  Department of Computer Science
University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark
Tel: +45 31 39 64 66  *  Direct: +45 31 39 33 11/406  *  Fax: +45 31 39 02 21

Re: Partial Evaluation References Sought

#744

Author: John Launchbury
Date: Thu, 17 Jan 1991 10:49

26 lines
1541 bytes

psanders@axion.bt.co.uk (Paul Sanders) writes:

>Can anybody supply me with some definitive references on partial 
>evaluation ? I'm ideally looking for a good introduction to the
>topic and maybe some papers discussing some applications.

>Can anyone help ?

>Cheers,

>Paul.

As Peter Sestoft (almost) says, the DIKU group in Copenhagen is the
origin of much of the recent work in partial evaluation. Perhaps the
standard reference is the "Red Book" which contains papers from the
1987 Danish workshop on Partial Evaluation and Mixed Computation
(published by North-Holland, eds Bjorner, Ershov and Jones). Since then
much work has been done including papers and PhDs. These have appeared
in journals and conference proceedings, and as departmental technical
reports. As far as I know, the only book apart from the "Red Book"
is my thesis Projection Factorisations in Partial Evaluation (due to be
published by Cambridge University Press in May this year), which begins
with a comprehensive introduction to the subject. I know this seems like
advertising, but you did ask!!

John.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads