6554 search results - page 893 / 1311 » Constraint Logic Programming |
198
click to vote
HASKELL
2006
ACM
16 years 23 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
161
click to vote
PPOPP
2006
ACM
16 years 22 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
192
Voted
ASP
2005
Springer
16 years 10 days ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
157
click to vote
ECOOP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
182
click to vote
LPAR
2004
Springer
16 years 4 days ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...