Dynamically Generating Callback Summaries for Enhancing Static Analysis.

Steven Arzt, Marc Miltenberger, Julius Numann

Browse the full ECOOP paper archive.