526 search results - page 47 / 106 » Co-Logic Programming: Extending Logic Programming with Coind... |
231
Voted
LMCS
2006
15 years 3 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
111
Voted
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
143
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
124
Voted
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
127
Voted
LISP
2008
15 years 3 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...