Modular shape analysis for dynamically encapsulated programs (2007)

by N. Rinetzky , A. Poetzsch-heffter , G. Ramalingam , M. Sagiv , E. Yahav
Citations:4 - 1 self