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

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