Typing Linear Constraints for Moding CLP() Programs
No abstract available.
DOI 10.1007/978-3-540-69166-2_9
Related papers
- A Methodology for Managing Hard Constraints in CLP Systems PLDI 1991
- Typing linear constraints TOPLAS 2010
- Backtracking without Trailing in CLP(RLin) PLDI 1994
- HM(X) type inference is CLP(X) solving JFP 2008
- CLPS-B - A Constraint Solver for B TACAS 2002
- CLP* and Constraint Abstraction POPL 1989
- Independence in CLP languages TOPLAS 2000
- Optimizing Compilation of CLP(R) TOPLAS 1998