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

by Thomas Reps, Stefan Schwoon, Somesh Jha, David Melski
Venue:Science of Computer Programming