ALL meanings of definitional constraint programming
- noun Technical meaning of definitional constraint programming (language) (DCP) A declarative, programming paradigm which integrates concurrent constraint programming, constraint logic programming and functional programming. In this setting a concurrent constraint language becomes a coordination system that organises the concurrent interaction of parallel functional computations. The language is also a generalisation of parallel functional programming languages, such as Id, where constraints and constraint abstractions are reused to define new constraints, as the means of programming logical variables for parallel coordination. 1
All about definitional constraint programming Download all about definitional constraint programming in pdf