Quantitative Interprocedural Analysis.

Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner

Browse the full POPL paper archive.