Multivariant NonFailure Analysis via Standard Abstract Interpretation (2004)

by F Bueno, P López-García, M Hermenegildo
Venue:In 7th International Symposium on Functional and Logic Programming (FLOPS 2004), number 2998 in LNCS