Demand-Driven Normalisation for ACD Term Rewriting

Authors:
Leslie Koninck;Gregory J. Duck;Peter J. Stuckey
Affiliations:
Department of Computer Science, K.U.Leuven, Belgium;NICTA Victoria Laboratory, Australia;NICTA Victoria Laboratory, Australia
Venue:
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Year:
2009

Citing 3
Cited 0

Term rewriting and all that

Term rewriting and all that
The g12 project: mapping solver independent models to efficient solutions

ICLP'05 Proceedings of the 21st international conference on Logic Programming
ACD term rewriting

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.