Sciweavers

SAS
1993
Springer

Finiteness Conditions for Strictness Analysis

14 years 3 months ago
Finiteness Conditions for Strictness Analysis
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work both in the syntax-directed nature of the approach and in the ability to deal with Wadler’s method for analysing lists. Limitations of the method are indicated.
Flemming Nielson, Hanne Riis Nielson
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where SAS
Authors Flemming Nielson, Hanne Riis Nielson
Comments (0)