Abstract interpretation with specialized definitions (0)

by G Puebla, E Albert, M Hermenegildo
Venue:In Proc. Static Analysis Symposium (SAS