Efficient algorithms for pre * and post * on interprocedural parallel flow graphs (2000)

by J Esparza, A Podelski
Venue:In POPL ’00: Proc. 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages