Parallelism, concurrency and distribution in constraint handling rules: A survey

DOI10.1017/S1471068418000078zbMath1452.68042arXiv1703.10959OpenAlexW2964162551WikidataQ129804626 ScholiaQ129804626MaRDI QIDQ4559827

Thom Frühwirth

Publication date: 4 December 2018

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1703.10959

zbMATH Keywords

distributionparallelismrewritingsemanticsconcurrencyconcurrent constraint programmingdeclarative programmingconcurrency modelsconstraint handling rules

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Uses Software

• CHR

Cites Work

• Unnamed Item
• Unnamed Item
• Confluence and semantics of constraint simplification rules
• Concurrent goal-based execution of Constraint Handling Rules
• As time goes by: Constraint Handling Rules
• A complete and terminating execution model for Constraint Handling Rules
• Constraint Handling Rules
• Worst-case Analysis of Set Union Algorithms
• A new approach to the maximum-flow problem
• Software transactional memory
• Optimizing compilation of constraint handling rules in HAL