5506 search results - page 690 / 1102 » Minimal Logic Programs |
200
click to vote
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
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 ...
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...
172
click to vote
COMPSAC
2003
IEEE
16 years 2 days ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...