Loading...
Please wait, while we are loading the content...
Similar Documents
A complete and terminating execution model for Constraint Handling Rules
| Content Provider | Scilit |
|---|---|
| Author | Betz, Hariolf Raiser, Frank Frühwirth, Thom |
| Copyright Year | 2010 |
| Description | We observe that the various formulations of the operational semantics of Constraint Handling Rules proposed over the years fall into a spectrum ranging from the analytical to the pragmatic. While existing analytical formulations facilitate program analysis and formal proofs of program properties, they cannot be implemented as is. We propose a novel operational semantics $ω_{!}$, which has a strong analytical foundation, while featuring a terminating execution model. We prove its soundness and completeness with respect to existing analytical formulations and we provide an implementation in the form of a source-to-source transformation to CHR with rule priorities. |
| Related Links | http://arxiv.org/pdf/1007.3829 http://arxiv.org/abs/1007.3829 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/15E4F9ABE4F1C3D051E8A8EA8B82E47A/S147106841000030Xa.pdf/div-class-title-a-complete-and-terminating-execution-model-for-constraint-handling-rules-div.pdf |
| Ending Page | 610 |
| Page Count | 14 |
| Starting Page | 597 |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s147106841000030x |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 4-6 |
| Volume Number | 10 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2010-07-01 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming Hardware and Architecture Constraint Handling Rules Operational Semantics Execution Model Persistent Constraints |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |
