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 条
  • [21] Source-to-Source Conversion Based on Formal Definition
    张幸儿
    朱晓军
    李建新
    董建宁
    [J]. Journal of Computer Science & Technology, 1991, (02) : 178 - 184
  • [22] AUTOMATIC DATABASE SYSTEM CONVERSION - SCHEMA REVISION, DATA TRANSLATION, AND SOURCE-TO-SOURCE PROGRAM TRANSFORMATION
    SHNEIDERMAN, B
    THOMAS, G
    [J]. AFIPS CONFERENCE PROCEEDINGS, 1982, 51 : 579 - +
  • [23] ATTRIBUTE GRAMMAR INVERSION AND SOURCE-TO-SOURCE TRANSLATION
    YELLIN, DM
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 302 : 1 - 176
  • [24] Experiences in using Cetus for source-to-source transformations
    Johnson, TA
    Lee, SI
    Fei, L
    Basumallik, A
    Upadhyaya, G
    Eigenmann, R
    Midkiff, SP
    [J]. LANGUAGES AND COMPILERS FOR HIGH PERFORMANCE COMPUTING, 2005, 3602 : 1 - 14
  • [25] Source-to-source instrumentation for the optimization of an automatic reading system
    Pereira, P
    Heutte, L
    Lecourtier, Y
    [J]. JOURNAL OF SUPERCOMPUTING, 2001, 18 (01): : 89 - 104
  • [26] A source-to-source compiler for generating dependable software
    Rebaudengo, M
    Reorda, MS
    Violante, M
    Torchiano, M
    [J]. FIRST IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2001, : 33 - 42
  • [27] CETUS: A SOURCE-TO-SOURCE COMPILER INFRASTRUCTURE FOR MULTICORES
    Dave, Chirag
    Bae, Hansang
    Min, Seung-Jai
    Lee, Seyong
    Eigenmann, Rudolf
    Midkiff, Samuel
    [J]. COMPUTER, 2009, 42 (12) : 36 - 42
  • [28] Source-to-source translation for code-optimization
    Chowdhary, K. R.
    Purohit, Rajendra
    Purohit, Sunil Dutt
    [J]. JOURNAL OF INFORMATION & OPTIMIZATION SCIENCES, 2023, 44 (03): : 407 - 416
  • [29] The Cetus Source-to-Source Compiler Infrastructure: Overview and Evaluation
    Hansang Bae
    Dheya Mustafa
    Jae-Woo Lee
    Hao Aurangzeb
    Chirag Lin
    Rudolf Dave
    Samuel P. Eigenmann
    [J]. International Journal of Parallel Programming, 2013, 41 : 753 - 767
  • [30] Using a source-to-source transformation to introduce multi-threading into the AliRoot framework for a parallel event reconstruction
    Lohn, Stefan B.
    Dong, Xin
    Carminati, Federico
    [J]. INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS 2012 (CHEP2012), PTS 1-6, 2012, 396
12345