Computing and Information Systems - Research Publications

Permanent URI for this collection

http://hdl.handle.net/11343/350

Filters

2009 1
1
Reset filters

Settings
Statistics
Citations
Type: Conference Paper × Subject: Computer Software not elsewhere classified; Computer Software and Services not elsewhere classified × Author: DUCK, GREGORY ×

Search Results

Now showing 1 - 1 of 1
  • Item
    Thumbnail Image
    Demand-Driven Normalisation for ACD Term Rewriting
    De Koninck, L ; Duck, GJ ; Stuckey, PJ ; Hill, PM ; Warren, DS (Springer, 2009-09-14)
    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.