Concurrent constraint logic programming

Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2007

We introduce the Universal Timed Concurrent Constraint Programming (utcc) process calculus; a generalisation of Timed Concurrent…

2006

Module systems are an essential feature of programming languages as they facilitate the re-use of existing code and the…

2000

This paper introduces an experimental framework for mobile agents. It utilizes expressiveness and formal foundation of concurrent…

1998

1996

1996

We introduce the notion of connuence for Constraint Handling Rules (CHR), a powerful language for writing constraint solvers…

1996

To build virtual environments with interesting behavior it is desirable to use a high level language suitable for complex…

1995

AKL(FD) is an integration of (an extension of) the nite domain constraint system FD in AKL, a deep concurrent constraint…

1994

Van Emden's incremental queries addresses the inadequacy of current Prolog-style querying mechanism in most logic programming…

1993

Although concurrent logic programming languages provide a suitable implementation environment for real-time systems, they fail to…