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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theory and practice of logic programming Jg. 18; H. 5-6; S. 759 - 805
1. Verfasser:	FRÜHWIRTH, THOM
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.09.2018
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!