Multivariant Non-Failure Analysis via Standard Abstract Interpretation (2004)

Cached

Download Links

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
Citations:7 - 4 self