Sharing analysis of arrays, collections, and recursive structures (2008)

by M Marron, M Méndez-Lojo, M Hermenegildo, D Stefanovic, D Kapur
Venue:in PASTE