Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.

Thomas W. Reps, Stefan Schwoon, Somesh Jha

Browse the full SAS paper archive.