Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,619 papers from all fields of science
Search
Sign In
Create Free Account
Concurrent constraint logic programming
Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
Alice
Concurrent logic programming
Constraint programming
Constraint satisfaction
Expand
Broader (3)
Concurrent computing
Constraint logic programming
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
A Process Calculus for Universal Concurrent Constraint Programming : Semantics , Logic and Application
C. Olarte
2007
Corpus ID: 18181347
We introduce the Universal Timed Concurrent Constraint Programming (utcc) process calculus; a generalisation of Timed Concurrent…
Expand
2006
2006
On Internalizing Modules as Agents in Concurrent Constraint Programming
Rémy Haemmerlé
,
F. Fages
,
S. Soliman
2006
Corpus ID: 116204118
Module systems are an essential feature of programming languages as they facilitate the re-use of existing code and the…
Expand
2005
2005
A stochastic non-deterministic temporal concurrent constraint calculus
C. Olarte
,
C. Rueda
International Conference of the Chilean Computer…
2005
Corpus ID: 14925739
We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the…
Expand
2000
2000
Mobile Agents Based on Concurrent Constraint Programming
M. Paralic
Joint Modular Languages Conference
2000
Corpus ID: 41005859
This paper introduces an experimental framework for mobile agents. It utilizes expressiveness and formal foundation of concurrent…
Expand
1996
1996
On Connuence of Constraint Handling Rules on Connuence of Constraint Handling Rules
H. Meuss
1996
Corpus ID: 15250221
We introduce the notion of connuence for Constraint Handling Rules (CHR), a powerful language for writing constraint solvers…
Expand
1996
1996
Virtual reality programming in Oz
Tomas Axling
,
Seif Haridi
,
L. Fahlén
1996
Corpus ID: 60753702
To build virtual environments with interesting behavior it is desirable to use a high level language suitable for complex…
Expand
1996
1996
How many concurrent talkers can we hear out
M. Kashino
,
T. Hirahara
1996
Corpus ID: 61924724
1995
1995
The implementation of AKL(FD)
Björn Carlson
,
M. Carlsson
,
Sverker Janson
ILPS
1995
Corpus ID: 1910560
AKL(FD) is an integration of (an extension of) the nite domain constraint system FD in AKL, a deep concurrent constraint…
Expand
1993
1993
A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm
T. Savor
,
P. Dasiewicz
Principles and Practice of Constraint Programming
1993
Corpus ID: 15470351
Although concurrent logic programming languages provide a suitable implementation environment for real-time systems, they fail to…
Expand
1992
1992
Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint Programs
K. Kahn
Fifth Generation Computer Systems
1992
Corpus ID: 35162121