Linearity Requirement for Patterns
Tue, 20 Mar 2001 15:01:50 +0100 (MET)
>Thus, I think that linearity is a natural requirement
>even for logic languages that support laziness.
Yes. Further evidence for this is that non-left-linear term rewriting systems
typically don't have sequential normalizing evaluation strategies. A
normalizing evaluation strategy might thus be very expensive for a rewrite
system with such rules.
Also, many nice results about confluence do not hold if there are