In Logic, Language and Computation, Jones N.D., Hagiya M. and Sato M. (eds.), Lecture Notes in Computer Science, Vol. 792, pages 206--224, Springer-Verlag. Komorowski J. 1992. An introduction to partial deduction. In Meta-Programming in Logic, Pettorossi A. (ed.), Lecture Notes in Computer Science, Vol. 649, pages 49--69, SpringerVerlag.  Home/Search   Document Not in Database   Summary   Related Articles

....transformation can change a polynomial time program into an exponential time program. In Wadler s deforestation (1990) this is avoided by considering only linear terms. Some weaker restrictions are adopted in partial evaluation (Sestoft, 1988; Bondorf, 1990) and other work on deforestation (Chin, 1992; Hamilton, 1993) We consider this an issue in its own right which should be dealt with separately, and is beyond the scope of this paper. The problem does not turn up in the examples we consider. Second, there is the problem of code duplication. Unrestrained unfolding may increase the size of a ....

....an important aspect of deforestation is that there is a syntactic class of function definitions, treeless definitions (Wadler, 1990) such that deforestation of any composition of functions with treeless definitions is guaranteed to terminate. This fact also forms the core of the techniques of Chin (1992) and Hamilton (1993) different techniques are due to S rensen (1994b) and Seidl (1996) The problem is more complex for positive supercompilation the extra power does not come for free. The following term is treeless (though not linear) so deforestation terminates, and yet positive ....

In Logic, Language and Computation, Jones N.D., Hagiya M. and Sato M. (eds.), Lecture Notes in Computer Science, Vol. 792, pages 206--224, Springer-Verlag. Komorowski J. 1992. An introduction to partial deduction. In Meta-Programming in Logic, Pettorossi A. (ed.), Lecture Notes in Computer Science, Vol. 649, pages 49--69, SpringerVerlag.

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