Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs

Laurie J. Hendren, Joseph Hummel, Alexandru Nicolau. Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs. In PLDI. pages 249-260, 1992.

Abstract

Abstract is missing.