< 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 constraint s and constraint abstractions are reused to define new constraints, as the means of programming logical variables for parallel coordination.
Goffin is a DCP language.
(1995-03-28)