Sciweavers

Share
CORR
2011
Springer

Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)

7 years 9 months ago
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-calculus, however, here we are concerned with a static analysis of λletrec-terms which aims at removing β-redexes that are concealed by recursion constructs and cause cyclic migration of arguments during evaluation. We have to stress that our research on this particular topic is still in an early phase.
Jan Rochel, Clemens Grabmayer
Added 19 Aug 2011
Updated 19 Aug 2011
Type Journal
Year 2011
Where CORR
Authors Jan Rochel, Clemens Grabmayer
Comments (0)
books