Corpus ID: 63544995

Coordination using a Single-Writer Multiple-Reader Concurrent Logic Language

  title={Coordination using a Single-Writer Multiple-Reader Concurrent Logic Language},
  author={Matthew M. Huntbach},
  • Matthew M. Huntbach
  • Published 2013
  • Computer Science
  • The principle behind concurrent logic programming is a set of processes which co-operate in monotonically constraining a global set of variables to particular values. Each process will have access to only some of the variables, and a process may bind a variable to a tuple containing further variables which may be bound later by other processes. This is a suitable model for a coordination language. In this paper we describe a type system which ensures the co-operation principle is never breached… CONTINUE READING


    Concurrent Logic/Constraint Programming: The Next 10 Years
    • K. Ueda
    • Computer Science
    • The Logic Programming Paradigm
    • 1999
    • 18
    Resource-Passing Concurrent Programming
    • 17
    • PDF
    The family of concurrent logic programming languages
    • 559
    Parallel branch-and-bound search in Parlog
    • 1
    Parallel Programming with Logic Languages: A Survey
    • 23
    • PDF
    MULTILISP: a language for concurrent symbolic computation
    • 1,203
    • PDF