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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theory and practice of logic programming Ročník 18; číslo 5-6; s. 759 - 805
Hlavný autor:	FRÜHWIRTH, THOM
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.09.2018
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!