%0 Journal Article %T Quantitative Interprocedural Analysis %A Chatterjee, Krishnendu %A Pavlogiannis, Andreas %A Velner, Yaron %J Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems %V 50 %N 1 %P 539-551 %@ 0362-1340 %D 2015-01-14 %I ACM %~ DeepDyve