Exhaustive Execution of CHR Through Source-to-Source Transformation
العنوان: | Exhaustive Execution of CHR Through Source-to-Source Transformation |
---|---|
المؤلفون: | Slim Abdennadher, Ahmed Elsawy, Amira Zaki |
المصدر: | Logic-Based Program Synthesis and Transformation ISBN: 9783319178219 LOPSTR |
بيانات النشر: | Springer International Publishing, 2015. |
سنة النشر: | 2015 |
مصطلحات موضوعية: | Constraint Handling Rules, Transformation (function), Correctness, Source transformation, Programming language, Computer science, Completeness (statistics), computer.software_genre, Operational strategy, Execution control, computer, Space exploration |
الوصف: | 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. |
ردمك: | 978-3-319-17821-9 |
URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::a5833097ccdd8930acdb47a3656282f1 https://doi.org/10.1007/978-3-319-17822-6_4 |
حقوق: | CLOSED |
رقم الأكسشن: | edsair.doi...........a5833097ccdd8930acdb47a3656282f1 |
قاعدة البيانات: | OpenAIRE |
ردمك: | 9783319178219 |
---|