Making abstract interpretation complete (2000)

by R Giacobazzi, F Ranzato, F Scozzari
Venue:J. of the ACM