Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,163,914 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
2007
2007
MULTI-CRITERIA APPROACH FOR AGILE SOFTWARE COST ESTIMATION MODEL
S. Chandrasekaran
,
R. Lavanya
,
V. Kanchana
2007
Corpus ID: 15917336
The proposed work is to focus on the various factors affecting the people-oriented environment that will lead to more acceptable…
Expand
2003
2003
Constraint-based protocols for distributed problem solving 1
Uwe M. Borghoffa
,
R. Pareschi
,
F. Arcelli
2003
Corpus ID: 2098697
Distributed Problem Solving (DPS) approaches decompose problems into subproblems to be solved by interacting, cooperative…
Expand
1998
1998
Expressiveness and Complexity of Concurrent Constraint Programming: a Finite Model Theoretic Approach Frann Cois Fages
Sylvain Soliman
,
V. Vianu
1998
Corpus ID: 11877601
We study the expressiveness and complexity of concurrent constraint programming languages over nite domains. We establish strong…
Expand
1996
1996
On Connuence of Constraint Handling Rules on Connuence of Constraint Handling Rules
Slim Abdennadher
,
Thompson Fr
,
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
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
1991
1991
Concurrent Programming in COB
K. Hosokawa
,
Hiroaki Nakamura
,
Tsutomu Kamimura
Concurrency: Theory, Language, And Architecture
1991
Corpus ID: 42737887
COB is a C based object oriented language. It is strongly typed and a type-safe language. It supports garbage collection of…
Expand