definitional constraint programming
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.
Goffin is a DCP language.
Goffin is a DCP language.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)