1445 search results - page 114 / 289 » Abstract Interpretation of Logic Programs |
108
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
148
click to vote
WLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
103
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
128
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
141
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...