Sciweavers

43 search results - page 1 / 9
» Extending a Concurrent Constraint Language by Propagators
Sort
View
55
Voted
SLP
1997
63views more  SLP 1997»
15 years 17 days ago
Extending a Concurrent Constraint Language by Propagators
Tobias Müller, Jörg Würtz
ECOOP
1992
Springer
15 years 3 months ago
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
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...
Svend Frølund
JFPLC
1998
15 years 17 days ago
DF - a feature constraint system and its extension to a logic concurrent language
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...
Liviu-Virgil Ciortuz
CSCLP
2005
Springer
15 years 4 months ago
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
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...
Thom W. Frühwirth