Sciweavers

166
Voted
PLILP
1992
Springer
15 years 10 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
15 years 10 months ago
Algorithmic Debugging for Lazy Functional Languages
Henrik Nilsson, Peter Fritzson
134
Voted
PLILP
1992
Springer
15 years 10 months ago
UCG-E: An Equational Logic Programming System
Lutz H. Hamel
157
Voted
PLILP
1992
Springer
15 years 10 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