Computing and Information Systems - Research Publications

Permanent URI for this collection

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

Filters

2005 - 2009 6
Reset filters

Settings
Statistics
Citations
Type: Conference Paper × Author: DUCK, GREGORY ×

Search Results

Now showing 1 - 6 of 6
  • Item
    Thumbnail Image
    Optimizing compilation of CHR with rule priorities
    De Koninck, L ; Stuckey, PJ ; Duck, GJ ; Garrigue, J ; Hermenegildo, M (Springer, 2008-05-14)
  • Item
    Thumbnail Image
    Observable confluence for constraint handling rules
    Duck, GJ ; Stuckey, PJ ; Sulzmann, M ; Dahl, V ; Niemela, I (SPRINGER-VERLAG BERLIN, 2007)
  • Item
    Thumbnail Image
    Abstract interpretation for constraint handling rules
    SCHRIJVERS, T. ; STUCKEY, P. ; DUCK, G. (ACM Press, 2005)
  • Item
    Thumbnail Image
    MiniZinc: Towards a Standard CP Modelling Language
    NETHERCOTE, N. ; STUCKEY, P. ; BECKET, R. ; BRAND, S. ; DUCK, G. ; TACK, G. (Springer Verlag, 2007)
  • Item
    Thumbnail Image
    ACD Term Rewriting
    Duck, GJ ; Stuckey, PJ ; Brand, S ; Etalle, S ; Truszczynski, M (SPRINGER-VERLAG BERLIN, 2006)
  • 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.