Dynamic Optimistic Interprocedural Analysis: A Framework and an Application.

Igor Pechtchanski, Vivek Sarkar

Browse the full OOPSLA paper archive.