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

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