Geoffrey Burn and Daniel Le M'etayer. Cps-translation and the correctness of optimising compilers. Technical Report DoC92/20, Imperial College, Department of Computing, 1992.  Home/Search   Document Details and Download   Summary   Related Articles

....strict (cf. Bur91] The effect of our transformations of rewrite systems is somewhat similar in spirit to the use of evaluation transformers in [Bur91] Not only in theory, but also in practice, our technique does not rely on properties of built in algebraic datatypes such as lists or trees. In [BM92] some of the techniques in [Bur91] are formulated in the context of continuation passing transformations. Another approach to obtain better termination properties are the sequential strategies investigated by [HL91, O D77] In this approach, only needed redexes are rewritten, i.e. redexes that ....

Geoffrey Burn and Daniel Le M'etayer. Cps-translation and the correctness of optimising compilers. Technical Report DoC92/20, Imperial College, Department of Computing, 1992.

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