Separate abstract interpretation for control-flow analysis (1994)

by Yan Mei Tang, Pierre Jouvelot
Venue:In Proceedings of TACS’94, Theoretical Aspects of Computing Software