Separate abstract interpretation for controlflow analysis. Pages 224–243 of (1994)

by Yan Mei Tang
Venue:Proceedings of tacs’94, theoretical aspects of computing software. Springer-Verlag (LNCS 789