Demand-Driven Normalisation for ACD Term Rewriting

被引：0
|
作者：
De Koninck, Leslie [1 ]
Duck, Gregory J. [2 ]
Stuckey, Peter J. [2 ]
机构：
[1] Katholieke Univ Leuven, Dept Comp Sci, Louvain, Belgium
[2] NICTA, Victoria Lab, Sydney, NSW, Australia
来源：
LOGIC PROGRAMMING | 2009年 / 5649卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：484 / +
页数：2
相关论文
共 50 条
  • [1] ACD Term Rewriting
    Duck, Gregory J.
    Stuckey, Peter J.
    Brand, Sebastian
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 117 - 131
  • [2] Cadmium: An Implementation of ACD Term Rewriting
    Duck, Gregory J.
    De Koninck, Leslie
    Stuckey, Peter J.
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 531 - +
  • [3] Demand-driven register allocation
    Proebsting, TA
    Fischer, CN
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (06): : 683 - 710
  • [4] Demand-Driven Land Evaluation
    Bacic, I. L. Z.
    [J]. DIGITAL SOIL MAPPING WITH LIMITED DATA, 2008, : 151 - +
  • [5] Demand-driven approach for sustainability
    SaxenRosendahl, A
    [J]. SUSTAINABILITY OF WATER AND SANITATION SYSTEMS, 1996, : 32 - 34
  • [6] Demand-Driven Tag Recommendation
    Menezes, Guilherme Vale
    Almeida, Jussara M.
    Belem, Fabiano
    Goncalves, Marcos Andre
    Lacerda, Anisio
    de Moura, Edleno Silva
    Pappa, Gisele L.
    Veloso, Adriano
    Ziviani, Nivio
    [J]. MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, PT II: EUROPEAN CONFERENCE, ECML PKDD 2010, 2010, 6322 : 402 - 417
  • [7] Demand-driven specification partitioning
    Mittermeir, RT
    Bollin, A
    [J]. MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2003, 2789 : 241 - 253
  • [8] Demand-Driven Materials Design
    Zhang, Hengrui
    [J]. Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2021, 55 : 93 - 94
  • [9] Demand-driven clustering in MANETs
    Cramer, C
    Stanze, O
    Weniger, K
    Zitterbart, M
    [J]. ICWN'04 & PCC'04, VOLS, 1 AND 2, PROCEEDINGS, 2004, : 81 - 87
  • [10] Demand-driven pointer analysis
    Heintze, N
    Tardieu, O
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (05) : 24 - 34
12345