|[3 earlier articles]|
|Re: gawk memory leak firstname.lastname@example.org (1997-04-06)|
|Re: gawk memory leak pfoxSPAMOFF@lehman.com (Paul David Fox) (1997-04-13)|
|Purify patent (was Re: gawk memory leak) email@example.com (Elan Feingold) (1997-05-04)|
|Re: Purify patent (was Re: gawk memory leak) firstname.lastname@example.org (Sailesh Krishnamurthy) (1997-05-08)|
|Re: Purify patent (was Re: gawk memory leak) email@example.com (Paul David Fox) (1997-05-13)|
|Re: Purify patent (was Re: gawk memory leak) firstname.lastname@example.org (Hans-Juergen Boehm) (1997-05-17)|
|Partial evaluation vs flow-graph analysis email@example.com (Christian Fabre) (1997-05-22)|
|Re: Partial evaluation vs flow-graph analysis firstname.lastname@example.org (1997-05-25)|
|Re: Partial evaluation vs flow-graph analysis Jacques.Noye@emn.fr (1997-05-25)|
|Re: Partial evaluation vs flow-graph analysis email@example.com (Tommy Thorn) (1997-05-27)|
|Partial evaluation in imperative languages. firstname.lastname@example.org (Charles Fiterman) (1997-05-30)|
|Re: Partial evaluation in imperative languages. email@example.com (Stefan Monnier) (1997-05-31)|
|Re: Partial evaluation in imperative languages. firstname.lastname@example.org (Cliff Click) (1997-06-02)|
|From:||Christian Fabre <email@example.com>|
|Date:||22 May 1997 22:27:47 -0400|
|Organization:||The Open Group Research Institute (was OSF-RI)|
|References:||97-03-165 97-04-020 97-04-022 97-04-037 97-04-070 97-05-019 97-05-090 97-05-162 97-05-216|
Partial evaluation seems to be a hot topic in the compiler field
nowaday. As far as we've understood, the basic idea is to partially
evaluate (sic) a program based on the information we are able to
gather about its arguments. This requires some sort of intrepreter
(or is it a meta-interpreter?) to compute the simplified program.
Did we miss something obvious so far?
This makes us think that the kind of tasks well suited for partial
evaluation can also be done, for most of them, with "older" techniques
such as flow-graph equations.
So our question is what kind of optimisations will partial evaluation
make possible that are out of reach of a classical optimizer (and
Is there some paper comparing the two techniques?
Also, most of the papers talk about PE in the context of functional
languages like ML or Haskell. Is this technique also usefull/usable
for imperative languages like C, C++, Java or Eiffel?
Thanks in advance for your help,
Christian Fabre & Francois de Ferriere.
Christian Fabre (TOG-RI was OSF-RI)
The Open Group Research Institute Net: firstname.lastname@example.org
2 avenue de Vignate Tel: +33 4 220.127.116.11
38610 Gieres - France Fax: +33 4 76.51.05.32
Return to the
Search the comp.compilers archives again.