Using Static Analysis to Compile Non-sequential Functional Logic Programs.

Julio Mario, Juan Jos Moreno-Navarro

Browse the full ICLP paper archive.