Matches in SemOpenAlex for { <https://semopenalex.org/work/W2605220977> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2605220977 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.
- W2605220977 created "2017-04-14" @default.
- W2605220977 creator A5081852223 @default.
- W2605220977 date "2017-03-31" @default.
- W2605220977 modified "2023-09-27" @default.
- W2605220977 title "Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey" @default.
- W2605220977 cites W1110993702 @default.
- W2605220977 cites W111983189 @default.
- W2605220977 cites W1514004408 @default.
- W2605220977 cites W1532345228 @default.
- W2605220977 cites W1539211146 @default.
- W2605220977 cites W1587097248 @default.
- W2605220977 cites W1607770173 @default.
- W2605220977 cites W168533040 @default.
- W2605220977 cites W172429576 @default.
- W2605220977 cites W1893229108 @default.
- W2605220977 cites W1970056414 @default.
- W2605220977 cites W2072794470 @default.
- W2605220977 cites W2128585185 @default.
- W2605220977 cites W2138701537 @default.
- W2605220977 cites W2144960539 @default.
- W2605220977 cites W2474114533 @default.
- W2605220977 cites W2616366723 @default.
- W2605220977 cites W2769656678 @default.
- W2605220977 cites W2951378232 @default.
- W2605220977 cites W3017326420 @default.
- W2605220977 cites W3023064319 @default.
- W2605220977 hasPublicationYear "2017" @default.
- W2605220977 type Work @default.
- W2605220977 sameAs 2605220977 @default.
- W2605220977 citedByCount "0" @default.
- W2605220977 crossrefType "posted-content" @default.
- W2605220977 hasAuthorship W2605220977A5081852223 @default.
- W2605220977 hasConcept C137364921 @default.
- W2605220977 hasConcept C142362112 @default.
- W2605220977 hasConcept C153349607 @default.
- W2605220977 hasConcept C173608175 @default.
- W2605220977 hasConcept C193702766 @default.
- W2605220977 hasConcept C199360897 @default.
- W2605220977 hasConcept C34165917 @default.
- W2605220977 hasConcept C39920170 @default.
- W2605220977 hasConcept C41008148 @default.
- W2605220977 hasConcept C55439883 @default.
- W2605220977 hasConcept C558565934 @default.
- W2605220977 hasConcept C73301696 @default.
- W2605220977 hasConcept C80444323 @default.
- W2605220977 hasConcept C88977235 @default.
- W2605220977 hasConceptScore W2605220977C137364921 @default.
- W2605220977 hasConceptScore W2605220977C142362112 @default.
- W2605220977 hasConceptScore W2605220977C153349607 @default.
- W2605220977 hasConceptScore W2605220977C173608175 @default.
- W2605220977 hasConceptScore W2605220977C193702766 @default.
- W2605220977 hasConceptScore W2605220977C199360897 @default.
- W2605220977 hasConceptScore W2605220977C34165917 @default.
- W2605220977 hasConceptScore W2605220977C39920170 @default.
- W2605220977 hasConceptScore W2605220977C41008148 @default.
- W2605220977 hasConceptScore W2605220977C55439883 @default.
- W2605220977 hasConceptScore W2605220977C558565934 @default.
- W2605220977 hasConceptScore W2605220977C73301696 @default.
- W2605220977 hasConceptScore W2605220977C80444323 @default.
- W2605220977 hasConceptScore W2605220977C88977235 @default.
- W2605220977 hasLocation W26052209771 @default.
- W2605220977 hasOpenAccess W2605220977 @default.
- W2605220977 hasPrimaryLocation W26052209771 @default.
- W2605220977 hasRelatedWork W1517417277 @default.
- W2605220977 hasRelatedWork W1577827016 @default.
- W2605220977 hasRelatedWork W163665164 @default.
- W2605220977 hasRelatedWork W1824790454 @default.
- W2605220977 hasRelatedWork W2023293472 @default.
- W2605220977 hasRelatedWork W2044951665 @default.
- W2605220977 hasRelatedWork W2059196002 @default.
- W2605220977 hasRelatedWork W2071996346 @default.
- W2605220977 hasRelatedWork W2155062053 @default.
- W2605220977 hasRelatedWork W2159308661 @default.
- W2605220977 hasRelatedWork W2237556100 @default.
- W2605220977 hasRelatedWork W2257628339 @default.
- W2605220977 hasRelatedWork W238188421 @default.
- W2605220977 hasRelatedWork W2402760466 @default.
- W2605220977 hasRelatedWork W2479043920 @default.
- W2605220977 hasRelatedWork W2600478067 @default.
- W2605220977 hasRelatedWork W2749943653 @default.
- W2605220977 hasRelatedWork W3020973583 @default.
- W2605220977 hasRelatedWork W3199853656 @default.
- W2605220977 hasRelatedWork W821289620 @default.
- W2605220977 isParatext "false" @default.
- W2605220977 isRetracted "false" @default.
- W2605220977 magId "2605220977" @default.
- W2605220977 workType "article" @default.