Sciweavers

Share
30153 search results - page 1 / 6031
» Modeling Systems in CLP
Sort
View
ICLP
2005
Springer
9 years 7 months ago
Modeling Systems in CLP
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 ...
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
ESOP
2003
Springer
9 years 6 months ago
Automatic Software Model Checking Using CLP
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 ...
Cormac Flanagan
ICLP
2003
Springer
9 years 6 months ago
A Generic Persistence Model for (C)LP Systems
Jesús Correas, J. M. Gómez, Manuel C...
books