Computing Procedure Summaries for Interprocedural Analysis.

Sumit Gulwani, Ashish Tiwari

Browse the full ESOP paper archive.