×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [acyclic shape analysis]
Home >
acyclic shape analysis
Modular Shape Analysis for Dynamically Encapsulated Programs Noam Rinetzky Tel Aviv University Arnd Poetzsch-HeffterUniversität Kaiserlauten Ganesan RamalingamMicrosoft.
219 views