Optimal domains for disjunctive abstract interpretation (1998)

by Roberto Giacobazzi, Francesco Ranzato
Venue:Sci. Comput. Program