Multivariant non-failure analysis via standard abstract interpretation (2004)

by F Bueno, P López-García, M Hermenegildo
Venue:In Proc. of the International Symposium on Functional and Logic Programming (FLOPS ’04). Lecture Notes in Computer Science