Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information.

Daniel Cabeza Gras, Manuel V. Hermenegildo

Browse the full SAS paper archive.