In Partial Evaluation and Mixed Computation, Bjørner D., Ershov A.P. and Jones N.D. (eds.), pages 225--282, North-Holland. Jones, N.D., Gomard, C.K. and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Positive Supercompiler - Sørensen, Glück, Jones (1993) (3 citations) Self-citation (Jones) (Correct)
....information. 7 Other Optimization Techniques In this section we relate, more briefly, information propagation as used in positive supercompilation and deforestation to that in partial evaluation, Turchin s supercompiler, GPC, and partial deduction. 7. 1 Partial evaluation of functional programs Partial evaluation as in (Jones, Gomard and Sestoft, 1993) propagates only the values of static variables, namely constants. Partial evaluation can specialize programs but is strictly weaker than positive supercompilation, Turchin s supercompiler, GPC, and partial deduction since it propagates no information obtained from predicates or pattern matching. ....
In Partial Evaluation and Mixed Computation, Bjørner D., Ershov A.P. and Jones N.D. (eds.), pages 225--282, North-Holland. Jones, N.D., Gomard, C.K. and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC