psanders@axion.bt.co.uk (Paul Sanders) (01/15/91)
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
sestoft@diku.dk (Peter Sestoft) (01/16/91)
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
jl@cs.glasgow.ac.uk (John Launchbury) (01/17/91)
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.