Properties of a type abstract interpreter (2003)

by R Gori, G Levi
Venue:In VMCAI’03, volume 2575 of LNCS