Sciweavers

PLILP
1992
Springer
14 years 4 months ago
Strictness Analysis for Attribute Grammars
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
Mads Rosendahl
PLILP
1992
Springer
14 years 4 months ago
Algorithmic Debugging for Lazy Functional Languages
Henrik Nilsson, Peter Fritzson
PLILP
1992
Springer
14 years 4 months ago
Unfold/fold Transformations Preserving Termination Properties
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
Torben Amtoft