7456 search results - page 2 / 1492 » Parallelism in Logic Programs |
IPPS
1997
IEEE
13 years 11 months ago
1997
IEEE
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
CONCUR
2004
Springer
14 years 28 days ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...