Thomas W. Reps, Stefan Schwoon, Somesh Jha. Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. In Radhia Cousot, editor, Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Volume 2694 of Lecture Notes in Computer Science, pages 189-213, Springer, 2003. [doi]
Abstract is missing.