ICLP
2003
Springer
14 years 9 months ago
2003
Springer
ICLP
2003
Springer
14 years 9 months ago
2003
Springer
ICLP
2003
Springer
14 years 9 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
ICLP
2003
Springer
14 years 9 months ago
2003
Springer
ESOP
2003
Springer
14 years 9 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
ESOP
2003
Springer
14 years 9 months ago
2003
Springer
ESOP
2003
Springer
14 years 9 months ago
2003
Springer
ESOP
2003
Springer
14 years 9 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
ESOP
2003
Springer
14 years 9 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
ESOP
2003
Springer
14 years 9 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...