Sciweavers

SAS
1993
Springer
126views Formal Methods» more  SAS 1993»
14 years 4 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 b...
Flemming Nielson, Hanne Riis Nielson