Optimal domains for disjunctive abstract interpretation (1998)

by R Giacobazzi, F Ranzato
Venue:Sci. Comput. Program