A Concurrent Operational Semantics for Constraint Functional Logic Programming.

Rafael del Vado Vrseda, Fernando Prez Morente, Marcos Miguel Garca Toledo

Browse the full ICLP paper archive.