Sciweavers

Share
ICLP
2009
Springer

Demand-Driven Normalisation for ACD Term Rewriting

11 years 2 months ago
Demand-Driven Normalisation for ACD Term Rewriting
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implementation for ACDTR based on bottom-up eager normalisation, extended to support the conjunctive context. This paper investigates the possibility of using a demand-driven normalisation strategy for ACDTR. Again, dealing with the conjunctive context proves to be challenging. The alternative normalisation strategy is compared with the current form of eager normalisation and potential further improvements on the strategy are investigated.
Leslie De Koninck, Gregory J. Duck, Peter J. Stuck
Related Content
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2009
Where ICLP
Authors Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey
Comments (0)
books