partial evaluation

> dalamb@qucis.queensu.ca (David Lamb):
> The general response is: the "mixed compilation" work to which I was
> referring is now called "partial evaluation", and can be found in the
> functional programming literature for the most part.


For completeness, I should point out that there has been a fair amount of
work on partial evaluation in the logic programming community as well.
Theoretical work (of which there is a considerable volume) aside, a number
of mature partial evaluation systems for Prolog are available, including:


- the Mixtus system, by Dan Sahlin, from The Swedish Institute of Computer
    Science (contact: dan@sics.se); and
- the PADDY system, by S. Prestwich, distributed as part of the SEPIA system
    from ECRC, Munich (contact: micha@ecrc.de).


I also vaguely remember a partial evaluation system by Raf Venken that came
with BIM-Prolog, but don't know its current status.


Also, people interested in partial evaluation of imperative languages might
want to check out the paper by Bill Pugh at POPL-92 a couple of weeks ago.
--
Saumya Debray CS Department, University of Arizona, Tucson
--

Return to the comp.compilers page.
Search the comp.compilers archives again.