Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs (1992)

Cached

Download Links

by Laurie Hendren , Joseph Hummel , Alexandru Nicolau
Citations:87 - 9 self