Exhaustive Execution of CHR Through Source-to-Source Transformation

被引：1
|
作者：
Elsawy, Ahmed [1 ]
Zaki, Amira [1 ,2 ]
Abdennadher, Slim [1 ]
机构：
[1] German Univ Cairo, Cairo, Egypt
[2] Univ Ulm, D-89069 Ulm, Germany
来源：
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014) | 2015年 / 8981卷
关键词：
Constraint Handling Rules; Execution flow control; Exhaustive execution; Search space exploration; Source-to-source transformation; OPERATIONAL SEMANTICS; CONSTRAINT; CONFLUENCE;
D O I：
10.1007/978-3-319-17822-6_4
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Constraint Handling Rules (CHR) is a committed-choice rule-based programming language. Rules rewrite a global multi-set of constraints to another. Overlapping sets of constraints within the rules and the order of constraints within rules and queries entail different derivation paths. In this work, a novel operational strategy is proposed which enables a high-level form of execution control that empowers a comprehensive and customizable execution strategy. It allows full space exploration for any CHR program, thus finding all possible results to a query which is interesting for many non-confluent programs. The proposed transformation is performed as a source-to-source transformation from any CHR program to one utilizing disjunction to force an exhaustive explorative execution strategy. The work is complemented by formal arguments to prove the correctness and completeness of the transformation.
引用
收藏
页码：59 / 73
页数：15
相关论文
共 50 条
  • [1] Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics
    Fakhry, Ghada
    Sharaf, Nada
    Abdennadher, Slim
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2013, 2014, 8901 : 145 - 163
  • [2] Source-to-source transformation in the large
    Genssler, T
    Kuttruff, V
    [J]. MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2003, 2789 : 254 - 265
  • [3] Source-to-source transformation in the large
    Genssler, Thomas
    Kuttruff, Volker
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2789 : 254 - 265
  • [4] PROGRAM IMPROVEMENT BY SOURCE-TO-SOURCE TRANSFORMATION
    LOVEMAN, DB
    [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 121 - 145
  • [5] Automatic Sparsity Detection implemented as a source-to-source transformation
    Giering, Ralf
    Kaminski, Thomas
    [J]. COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS, 2006, 3994 : 591 - 598
  • [6] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (04) : 708 - 718
  • [7] Source-to-Source Architecture Transformation for Performance Optimization in BIP
    Bozga, Marius
    Jaber, Mohamad
    Sifakis, Joseph
    [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2009, : 152 - 160
  • [8] Cetus - An extensible compiler infrastructure for source-to-source transformation
    Lee, SI
    Johnson, TA
    Eigenmann, R
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2004, 2958 : 539 - 553
  • [9] Pragma-Controlled Source-to-Source Code Transformations for Robust Application Execution
    Diniz, Pedro C.
    Liao, Chunhua
    Quinlan, Daniel J.
    Lucas, Robert F.
    [J]. EURO-PAR 2016: PARALLEL PROCESSING WORKSHOPS, 2017, 10104 : 660 - 670
  • [10] Reducing Library Overheads through Source-to-Source Translation
    King, Alden
    Baden, Scott
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 : 1930 - 1939
12345