Modular Shape Analysis for Dynamically Encapsulated Programs

Noam Rinetzky, A. Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, and Eran Yahav

Details

Publication typeInproceedings
Published inProceedings of the 16th European Symposium on Programming (ESOP)
> Publications > Modular Shape Analysis for Dynamically Encapsulated Programs