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 条

[41] Source-to-Source Translation: Impact on the performance of High Level Synthesis
Belwal, Meena
Sudarshan, T. S. B.
[J]. 2017 IEEE INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND AUTOMATION (ICCCA), 2017, : 951 - 956
[42] GPT-Driven Source-to-Source Transformation for Generating Compilable Parallel CUDA Code for Nussinov's Algorithm
Palkowski, Marek
Gruzewski, Mateusz
[J]. ELECTRONICS, 2024, 13 (03)
[43] Exploring Source-to-Source Compiler Transformation of OpenMP SIMD Constructs for Intel AVX and Arm SVE Vector Architectures
Flynn, Patrick
Yi, Xinyao
Yan, Yonghong
[J]. PROCEEDINGS OF THE THIRTEENTH INTERNATIONAL WORKSHOP ON PROGRAMMING MODELS AND APPLICATIONS FOR MULTICORES AND MANYCORES (PMAM '22), 2022, : 11 - 20
[44] Blue buildings: decentralized and integrated management of water from 'Source-To-Source, At Source'
Samuel, S.
Lim, M.
Hsien, C.
Ho, A.
Schraudolph, U.
White, S.
[J]. WATER PRACTICE AND TECHNOLOGY, 2016, 11 (03): : 601 - 609
[45] POET: A scripting language for applying parameterized source-to-source program transformations
University of Texas at San Antonio, San Antonio, TX, United States
[J]. Software Pract Exper, 1600, 6 (675-706):
[46] Retargeting Applications for Heterogeneous Systems with the Tribble Source-to-Source Framework
Sousa, Luis Miguel
Bispo, Joao
Paulino, Nuno
[J]. 2023 32ND INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PACT, 2023, : 329 - 331
[47] A Source-to-Source Translation of Coarray Fortran with MPI for High Performance
Iwashita, Hidetoshi
Nakao, Masahiro
Murai, Hitoshi
Sato, Mitsuhisa
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING IN ASIA-PACIFIC REGION (HPC ASIA 2018), 2018, : 86 - 97
[48] Effective Source-to-Source Outlining to Support Whole Program Empirical Optimization
Liao, Chunhua
Quinlan, Daniel J.
Vuduc, Richard
Panas, Thomas
[J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2010, 5898 : 308 - +
[49] A C/C plus plus Source-to-Source Compiler for dependable applications
Benso, A
Chiusano, S
Prinetto, P
Tagliaferri, L
[J]. DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2000, : 71 - 78
[50] A Polyhedral Modeling Based Source-to-Source Code Optimization Framework for GPGPU
Wang, Chenxi
Kang, Kang
Zhu, Maohua
Deng, Yangdong
[J]. 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), 2012, : 1964 - 1970

← 1 2 3 4 5 →