Backtracking without Trailing in CLP(R-lin)
No abstract available.
Related papers
- Backtracking without Trailing in CLP(RLin) PLDI 1994
- Independence in CLP languages TOPLAS 2000
- Building a Backtracking Facility in Smalltalk Without Kernel Support OOPSLA 1988
- The influence of browsers on evaluators or, continuations to program web servers ICFP 2000
- River trail: a path to parallelism in JavaScript OOPSLA 2013
- A CLP Approach to Modelling Systems APLAS 2004
- Automatic Software Model Checking Using CLP ESOP 2003
- Model Checking in CLP TACAS 1999