Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293384508> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4293384508 abstract "Constraint Handling Rules is an effective concurrent declarative programming language and a versatile computational logic formalism. CHR programs consist of guarded reactive rules that transform multisets of constraints. One of the main features of CHR is its inherent concurrency. Intuitively, rules can be applied to parts of a multiset in parallel. In this comprehensive survey, we give an overview of concurrent and parallel as well as distributed CHR semantics, standard and more exotic, that have been proposed over the years at various levels of refinement. These semantics range from the abstract to the concrete. They are related by formal soundness results. Their correctness is established as correspondence between parallel and sequential computations. We present common concise sample CHR programs that have been widely used in experiments and benchmarks. We review parallel CHR implementations in software and hardware. The experimental results obtained show a consistent parallel speedup. Most implementations are available online. The CHR formalism can also be used to implement and reason with models for concurrency. To this end, the Software Transaction Model, the Actor Model, Colored Petri Nets and the Join-Calculus have been faithfully encoded in CHR. Under consideration in Theory and Practice of Logic Programming (TPLP)." @default.
- W4293384508 created "2022-08-28" @default.
- W4293384508 creator A5081852223 @default.
- W4293384508 date "2017-03-31" @default.
- W4293384508 modified "2023-09-27" @default.
- W4293384508 title "Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey" @default.
- W4293384508 doi "https://doi.org/10.48550/arxiv.1703.10959" @default.
- W4293384508 hasPublicationYear "2017" @default.
- W4293384508 type Work @default.
- W4293384508 citedByCount "0" @default.
- W4293384508 crossrefType "posted-content" @default.
- W4293384508 hasAuthorship W4293384508A5081852223 @default.
- W4293384508 hasBestOaLocation W42933845081 @default.
- W4293384508 hasConcept C137364921 @default.
- W4293384508 hasConcept C142362112 @default.
- W4293384508 hasConcept C153349607 @default.
- W4293384508 hasConcept C173608175 @default.
- W4293384508 hasConcept C193702766 @default.
- W4293384508 hasConcept C199360897 @default.
- W4293384508 hasConcept C34165917 @default.
- W4293384508 hasConcept C39920170 @default.
- W4293384508 hasConcept C41008148 @default.
- W4293384508 hasConcept C55439883 @default.
- W4293384508 hasConcept C558565934 @default.
- W4293384508 hasConcept C73301696 @default.
- W4293384508 hasConcept C80444323 @default.
- W4293384508 hasConceptScore W4293384508C137364921 @default.
- W4293384508 hasConceptScore W4293384508C142362112 @default.
- W4293384508 hasConceptScore W4293384508C153349607 @default.
- W4293384508 hasConceptScore W4293384508C173608175 @default.
- W4293384508 hasConceptScore W4293384508C193702766 @default.
- W4293384508 hasConceptScore W4293384508C199360897 @default.
- W4293384508 hasConceptScore W4293384508C34165917 @default.
- W4293384508 hasConceptScore W4293384508C39920170 @default.
- W4293384508 hasConceptScore W4293384508C41008148 @default.
- W4293384508 hasConceptScore W4293384508C55439883 @default.
- W4293384508 hasConceptScore W4293384508C558565934 @default.
- W4293384508 hasConceptScore W4293384508C73301696 @default.
- W4293384508 hasConceptScore W4293384508C80444323 @default.
- W4293384508 hasLocation W42933845081 @default.
- W4293384508 hasOpenAccess W4293384508 @default.
- W4293384508 hasPrimaryLocation W42933845081 @default.
- W4293384508 hasRelatedWork W1539973433 @default.
- W4293384508 hasRelatedWork W1584265037 @default.
- W4293384508 hasRelatedWork W2034335616 @default.
- W4293384508 hasRelatedWork W2117014006 @default.
- W4293384508 hasRelatedWork W2354106728 @default.
- W4293384508 hasRelatedWork W2358725432 @default.
- W4293384508 hasRelatedWork W2379699742 @default.
- W4293384508 hasRelatedWork W4233783224 @default.
- W4293384508 hasRelatedWork W4285597959 @default.
- W4293384508 hasRelatedWork W4293384508 @default.
- W4293384508 isParatext "false" @default.
- W4293384508 isRetracted "false" @default.
- W4293384508 workType "article" @default.