43 search results - page 1 / 9 » Extending a Concurrent Constraint Language by Propagators |
SLP
1997
13 years 6 months ago
1997
PPCP
1993
13 years 9 months ago
1993
ECOOP
1992
Springer
13 years 9 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
JFPLC
1998
13 years 6 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
CSCLP
2005
Springer
13 years 10 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...