A Practical Application of Sharing and Freeness Inference.

Maria J. Garca de la Banda, Manuel V. Hermenegildo

Browse the full SAS paper archive.