264
Voted
ESOP
16 years 1 months ago
2003 Springer  186
Voted
ESOP
16 years 1 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 ...
197
click to vote
ESOP
16 years 1 months ago
2003 Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
194
click to vote
ESOP
16 years 1 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...
164
Voted
ESOP
16 years 1 months ago
2003 Springer |
Programming Languages