DEFINITIONAL CONSTRAINT PROGRAMMING
\dˌɛfɪnˈɪʃənə͡l kənstɹˈe͡ɪnt pɹˈə͡ʊɡɹamɪŋ], \dˌɛfɪnˈɪʃənəl kənstɹˈeɪnt pɹˈəʊɡɹamɪŋ], \d_ˌɛ_f_ɪ_n_ˈɪ_ʃ_ə_n_əl k_ə_n_s_t_ɹ_ˈeɪ_n_t p_ɹ_ˈəʊ_ɡ_ɹ_a_m_ɪ_ŋ]\
Definitions of DEFINITIONAL CONSTRAINT PROGRAMMING
Sort: Oldest first
(DCP) A declarative, programming paradigm whichintegrates concurrent constraint programming, constraintlogic programming and functional programming. In thissetting a concurrent constraint language becomes acoordination system that organises the concurrent interactionof parallel functional computations. The language is also ageneralisation of parallel functional programming languages,such as Id, where constraints and constraint abstractionsare reused to define new constraints, as the means ofprogramming logical variables for parallel coordination.Goffin is a DCP language.
By Denis Howe