29172 search results - page 1 / 5835 » Modeling Systems in CLP |
94
Voted
ICLP
2005
Springer
15 years 3 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
15 years 2 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
15 years 3 months ago
2004
Springer
84
Voted
PADL
2004
Springer
15 years 3 months ago
2004
Springer
59
Voted
ICLP
2003
Springer
15 years 2 months ago
2003
Springer