Results 11 to 19 of about 758 (19)
Being Van Kampen is a universal property [PDF]
Logical Methods in Computer Science, 2011 Colimits that satisfy the Van Kampen condition have interesting exactness properties. We show that the elementary presentation of the Van Kampen condition is actually a characterisation of a universal property in the associated bicategory of spans.
Pawel Sobocinski, Tobias Heindel
doaj +1 more source
Acyclic Solos and Differential Interaction Nets [PDF]
Logical Methods in Computer Science, 2010 We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of ...
Thomas Ehrhard, Olivier Laurent
doaj +1 more source
Logic Programming Applications: What Are the Abstractions and Implementations?
, 2018 This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their
Liu, Yanhong A.
core +1 more source
An Integrated Development Environment for Declarative Multi-Paradigm Programming
, 2001 In this paper we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry.
Hanus, Michael, Koj, Johannes
core +2 more sources
Characterizing traits of coordination
, 2013 How can one recognize coordination languages and technologies? As this report shows, the common approach that contrasts coordination with computation is intellectually unsound: depending on the selected understanding of the word "computation", it either ...
Poss, Raphael 'kena'
core
Thread extraction for polyadic instruction sequences [PDF]
, 2008 In this paper, we study the phenomenon that instruction sequences are split into fragments which somehow produce a joint behaviour. In order to bring this phenomenon better into the picture, we formalize a simple mechanism by which several instruction ...
Bergstra, J. A., Middelburg, C. A.
core +4 more sources
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
Concurrent distributed systems are notoriously difficult to construct and reason about. Choreographic programming is a recent paradigm that describes a distributed system in a single global program called a choreography. Choreographies simplify reasoning
Bates, Mako, Near, Joseph P.
core
MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
Choreographic programming is a concurrent paradigm in which a single global program called a choreography describes behavior across an entire distributed network of participants. Choreographies are easier to reason about than separate programs running in
Bates, Mako +2 more
core
Scalable data abstractions for distributed parallel computations [PDF]
, 2012 Hanlon, James +2 more
core