Choreographic Compilation of Decentralized Comprehension Patterns

Cervesato, Iliano; Lam, Edmund S. L.; Elgazar, Ali E.

doi:10.1007/978-3-319-42019-6_8

Cited by 3 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the personal plan, such choreographic perception functions stand out, such as satisfying the need for artistic knowledge, creativity, self-education, aesthetic pleasure, relaxation, stimulating other activities, shaping a particular mood, and suchlike (McCormack, 2018). Generalizing, we can say that choreographic art in this case performs a compensatory function (Cervesato et al, 2016).…”

Section: Literature Reviewmentioning

confidence: 99%

Scientific substantiation of the role of choreographic art in the cultural process

2021

lingcure

View full text Add to dashboard Cite

The work shows that the purpose of choreographic art is to convey to a significant part of listeners the imageries, thoughts and the formation of views that become the basis for the growth of cultural perception. Choreographic art is understood by the authors of the article as part of a single process of human cultural development. The article reveals successively the technology of the formation of the choreographic process as part of the socio-cultural exchange, as well as an aspect of the formation of prerequisites for the personal growth of an individual who becomes a participant in cultural exchange. The authors showed that the use of choreographic art is understood not only as a visualized part of the basic artwork of a text plan, an artistic one, but it can also act as an object of knowledge as an independent unit. The novelty of the article is the position that the use of choreographic art as part of cultural exchange is based on the psychological perception of the individual to the cultural process.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

Scientific substantiation of the role of choreographic art in the cultural process

2021

lingcure

View full text Add to dashboard Cite

show abstract

“…CoMingle. This new programming language can be characterized as an extension of CHRe for distributed logic programming (Lam et al, 2015;Cervesato et al, 2016). There is a prototype on the Android operating system for mobile devices, see https://github.…”

Section: Refined Semantics Of Chrementioning

confidence: 99%

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

Frühwirth¹

2018

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

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 this comprehensive survey, we give an overview of the concurrent, parallel as well as distributed CHR semantics, standard and more exotic, that have been proposed over the years at various levels of refinement. These semantics range from the abstract to the concrete. They are related by formal soundness results. Their correctness is proven as a correspondence between parallel and sequential computations. On the more practical side, we present common concise example CHR programs that have been widely used in experiments and benchmarks. We review parallel and distributed CHR implementations in software as well as hardware. The experimental results obtained show a parallel speed-up for unmodified sequential CHR programs. The software implementations are available online for free download and we give the web links. Due to its high level of abstraction, the CHR formalism can also be used to implement and analyse models for concurrency. To this end, the Software Transaction Model, the Actor Model, Colored Petri Nets and the Join-Calculus have been faithfully encoded in CHR. Finally, we identify and discuss commonalities of the approaches surveyed and indicate what problems are left open for future research.

show abstract

“…CoMingle. This new programming language can be characterized as an extension of CHRe for distributed logic programming [LCF15,CLE16]. There is a prototype on the Android operating system for mobile devices, see https://github.com/sllam/CoMingle.…”

Section: Properties: Monotonicity Soundness and Serializabilitymentioning

confidence: 99%

Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey

Fruehwirth¹

2017

Preprint

View full text Add to dashboard Cite

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 multiset of constraints. Concurrency is inherent, since rules can be applied to constraints in parallel.In this comprehensive survey, we give an overview of concurrent, parallel as well as distributed CHR semantics, standard and more exotic, that have been proposed over the years at various levels of refinement. These semantics range from the abstract to the concrete. They are related by formal soundness results. Their correctness is proven as a correspondence between parallel and sequential computations.On the more practical side, we present common concise example CHR programs that have been widely used in experiments and benchmarks. We review parallel and distributed CHR implementations in software as well as hardware. The experimental results obtained show a parallel speed-up for unmodified sequential CHR programs. The software implementations are available online for free download and we give the web links.Due to its high level of abstraction, the CHR formalism can also be used to implement and analyse models for concurrency. To this end, the Software Transaction Model, the Actor Model, Colored Petri Nets and the Join-Calculus have been faithfully encoded in CHR. Finally, we identify and discuss commonalities of the approaches surveyed and indicate what problems are left open for future research.Under consideration in Theory and Practice of Logic Programming (TPLP).

show abstract

Choreographic Compilation of Decentralized Comprehension Patterns

Cited by 3 publications

References 11 publications

Scientific substantiation of the role of choreographic art in the cultural process

Scientific substantiation of the role of choreographic art in the cultural process

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

Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey

Contact Info

Product

Resources

About