Changes between Version 41 and Version 42 of NestedCPR


Ignore:
Timestamp:
Jan 15, 2014 3:45:01 PM (3 months ago)
Author:
nomeata
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NestedCPR

    v41 v42  
    5454   - Detecting join-points at the position of its binding is not enough. 
    5555 * A recursive function can have a CPR-beneficial recursive call that makes CPR worthwhile, even if it does not help at the initial call. But it is also not unlikely that the recursive call is a tail-call, and CPR-ing has zero effect on that. Then it all depends on the external call. 
     56 * With sum types, CPR is much less often useful. And indeed, nesting CPR information inside sum-type-constructors has only negative effect (-0.0%/+0.0%/+0.4%). 
    5657 
    5758=== Converges detection ===