Built from template.html definitional constraint programming from FOLDOC foldoc.org: wombat.doc.ic.ac.uk & foldoc.doc.ic.ac.uk:

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.

Last updated: 1995-03-28

Nearby terms:

definite sentencedefinitional constraint programmingdeflate

Try this search on Wikipedia, OneLook, Google


if HTMLCOMMENTBOX
Loading

end HTMLCOMMENTBOX footer
content
left
left-mid right
container Quantcast Google Analytics