Thomas W. Reps, Akash Lal, Nicholas Kidd. Program Analysis Using Weighted Pushdown Systems. In Vikraman Arvind, Sanjiva Prasad, editors, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings. Volume 4855 of Lecture Notes in Computer Science, pages 23-51, Springer, 2007. [doi]
Abstract is missing.