Program Analysis Using Weighted Pushdown Systems2007-01-010 PRE AI DOI:10.1007/978-3-540-77050-3_4OriginalOriginal request for helpShareSaveAbstract En