4126 search results - page 395 / 826 » Set based logic programming |
153
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
131
click to vote
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
118
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...
123
click to vote
RULEML
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
170
Voted
DOOD
1991
Springer
15 years 8 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...