Static Analysis of Recursive Data Structures

D. K. Arvind, T. A. Lewis. Static Analysis of Recursive Data Structures. In Zhiyuan Li, Pen-Chung Yew, Siddhartha Chatterjee, Chua-Huang Huang, P. Sadayappan, David C. Sehr, editors, Languages and Compilers for Parallel Computing, 10th International Workshop, LCPC 97, Minneapolis, Minnesota, USA, August 7-9, 1997, Proceedings. Volume 1366 of Lecture Notes in Computer Science, pages 423-426, Springer, 1997.

Abstract

Abstract is missing.