3931 search results - page 14 / 787 » Separation logic and abstraction |
ICLP
1991
Springer
13 years 11 months ago
1991
Springer
Interpretation of Logic Programs 1
IFSA
2003
Springer
14 years 18 days ago
2003
Springer
PPDP
2009
Springer
14 years 1 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
SEMWEB
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
CONCUR
2004
Springer
14 years 24 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...