29172 search results - page 1 / 5835 » Modeling Systems in CLP |
200
Voted
ICLP
2005
Springer
16 years 23 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
173
click to vote
ESOP
2003
Springer
16 years 14 days 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 ...
