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ženo v:

Podrobná bibliografie
Vydáno 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:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.09.2018
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!