By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend

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.

< Previous Terms Terms Containing definitional constraint programming Next Terms >
Defense Information Systems Agency
Defense Trade Regulations
definite clause
definite sentence
deflate compression
deflate/inflate compression

Web Standards & Support:

Link to and support Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS! FireFox Extensions