Sciweavers

43 search results - page 1 / 9
» Extending a Concurrent Constraint Language by Propagators
Sort
View
63
Voted
PPCP
1993
15 years 1 months ago
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract)
Seif Haridi, Sverker Janson, Johan Montelius, Tork...
ECOOP
1992
Springer
15 years 1 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
14 years 11 months 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 3 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