Weighted pushdown systems and their application to interprocedural dataflow analysis (2003)

by T W Reps, S Schwoon, S Jha
Venue:Proceedings of SAS’03