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

by Thomas Reps , Stefan Schwoon , Somesh Jha
Venue:Sci. of Comp. Prog
Citations:107 - 32 self