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

Constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism. In CHR, guarded reactive rules rewrite a multi-set of constraints. Concurrency is inherent, since rules can be applied to the constraints in parallel. In th...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 18; no. 5-6; pp. 759 - 805
Main Author:	FRÜHWIRTH, THOM
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.09.2018
Subjects:	Coding Concurrency Declarative programming Downloading Formalism Petri nets Programming languages Semantics Software Survey Article declarative programming rewriting constraint handling rules parallelism concurrent constraint programming semantics distribution concurrency models concurrency
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!