An Abstract Machine for CLP(R).

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

Browse the full PLDI paper archive.