Search Results - "Concurrent constraint logic programming"

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages by Lee, Jimmy H.M., Leung, Ho-fung

“… This paper presents an implementation scheme IQ of incremental queries in Constraint Pandora, which defines a class of non-deterministic concurrent constraint logic programming languages…”
Get full text

Constraint Satisfaction in Distributed Concurrent Logic Programming by LEUNG, HO-FUNG, CLARK, KEITH L.

“…’ to a node, it is most desirable that they are solved ‘locally’ In this paper we first describe a prototype distributed concurrent constraint logic programming language D…”
Get full text

On the Number of Rule Applications in Constraint Programs by Frühwirth, Thom

“… CHR are a committed-choice concurrent constraint logic programming language consisting of multi-headed guarded rules…”
Get full text

A logic semantics for a class of nondeterministic concurrent constraint logic programs by Ho-Fung Leung, Bo-Ming Tong

“… In this paper, we present the FENG class of concurrent constraint logic programming languages and give its soundness and completeness results…”
Get full text

Investigations into abstraction and concurrency by Jagadeesan, Radhakrishnan

“…Abstract semantics hides operational detail and presents a simpler view of program execution to the user. Domain theory has been successful in serving as a…”
Get full text

Automatic data mapping of signal processing applications by Ancourt, C., Barthou, D., Guettier, C., Irigoin, F., Jeannet, B., Jourdan, J., Mattioli, J.

“… constraints logic programming languages (CCLP). Our concurrent resolution technique undertaking linear and nonlinear constraints takes advantage of the special…”
Get full text