On live-dead analysis for global data flow problems (1977)

by L T Kou
Venue:J. ACM