Dynamic optimistic interprocedural analysis: A framework and an application (2001)

by Igor Pechtchanski, Vivek Sarkar
Venue:In ACM Conference on ObjectOriented Programming, Systems, Languages, and Applications