The CLP(R) Language and System
No abstract available.
Related papers
- A CLP Approach to Modelling Systems APLAS 2004
- 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
- Optimizing Compilation of CLP(R) TOPLAS 1998
- Automatic Software Model Checking Using CLP ESOP 2003
- Model Checking in CLP TACAS 1999