Export: Extracting non-strict independent and-parallelism using sharing and freeness information
Cabeza Gras, Daniel and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(1994).
Extracting non-strict independent and-parallelism using sharing and freeness information.
In: "1994 International Static Analysis Symposium", September 28-30, 1994, Namur (Belgium). ISBN 3540584854.
Please select an output format:
