A CLP Approach to Modelling Systems
No abstract available.
Related papers
- Automatic Software Model Checking Using CLP ESOP 2003
- Model Checking in CLP TACAS 1999
- Optimizing Compilation of CLP(R) TOPLAS 1998
- The CLP(R) Language and System TOPLAS 1992
- A Methodology for Managing Hard Constraints in CLP Systems PLDI 1991
- HM(X) type inference is CLP(X) solving JFP 2008
- Dealing with incomplete knowledge on CLP(FD) variable domains TOPLAS 2005
- Backtracking without Trailing in CLP(RLin) PLDI 1994