1749 search results - page 39 / 350 » Logic, Optimization, and Constraint Programming |
CHARME
2003
Springer
14 years 29 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
ICLP
1997
Springer
13 years 12 months ago
1997
Springer
EDBT
1992
ACM
13 years 11 months ago
1992
ACM
FROCOS
2000
Springer
13 years 11 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...