Control- ow e ects for escape analysis (1992)

by Y Tang, P Jouvelot
Venue:In Workshop on Static Analysis