Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs (1992)
by
Laurie Hendren
,
Joseph Hummel
,
Alexandru Nicolau
| Citations: | 83 - 9 self |







