29172 search results - page 1 / 5835 » Modeling Systems in CLP |
ICLP
2005
Springer
13 years 11 months 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 ...
ESOP
2003
Springer
13 years 11 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 ...
ICFEM
2004
Springer
13 years 11 months ago
2004
Springer
PADL
2004
Springer
13 years 11 months ago
2004
Springer
ICLP
2003
Springer
13 years 11 months ago
2003
Springer