3926 search results - page 602 / 786 » A Logic of Object-Oriented Programs |
213
Voted
ICLP
2007
Springer
16 years 1 months 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...
209
click to vote
HASKELL
2006
ACM
16 years 1 months 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 ...
165
click to vote
PPOPP
2006
ACM
16 years 1 months 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 ...
202
click to vote
ASP
2005
Springer
16 years 18 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...
163
click to vote
ECOOP
2004
Springer
16 years 13 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...