Finite-Tree Analysis for Constraint Logic-Based Languages.

Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella

Browse the full SAS paper archive.