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

View PDF

Download Links

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