Concurrent Constraint Programming


Also found in: Acronyms.

Concurrent Constraint Programming

(language)
(CCP) Not a language, but a general approach.

References in periodicals archive ?
In this case, concurrent constraint programming (CCP) can be used to solve a CSP.
More information on concurrent constraint programming and its application can be found in (Van Roy & Haridi, 2004),(Apt, 2003), (Schulte & Smolka, 2000), (Barber & Salido, 2008).
More generally, the proof theory defined for CCP can be applied to CLP with dynamic scheduling by translating the latter into a concurrent constraint programming language which we call [Delta]-CCP and which is basically an extension of CCP with local choice.
The concurrent constraint programming languages are defined parametrically with respect to a given constraint system.
Actors as a special case of concurrent constraint programming.
Saraswat, in Saraswat (1993), has proposed concurrent constraint programming (CCP) as a model for specifying concurrent systems in terms of constraints.
Concurrent Constraint Programming Languages introduces a novel class of programming languages with important consequences for logic programming, constraint systems and parallel processing.

Full browser ?