@inproceedings{1c80baa649ad40059f32ed8f9e4bda03,
title = "Identifying def/use information of statements that construct and traverse dynamic recursive data structures",
abstract = "Pointer analysis is essential for optimizing and parallelizing compilers. It examines pointer assignment statements and estimates pointer-induced aliases among pointer variables or possible shapes of dynamic recursive data structures. However, previously proposed techniques perform pointer analysis without the knowledge of traversal patterns of dynamic recursive data structures to be constructed. This paper presents an algorithm to identify the traversal patterns of recursive data structures and propagate this information back to those statements that define the data structures. This approach recognizes the DEF/USE relationships between the statements that define and traverse dynamic recursive data structures. The outcome of this technique will be useful for pointer analysis and parallelization. Algorithms to perform pointer analysis and dependence test using the knowledge of traversal patterns will also be presented.",
author = "Hwang, \{Yuan Shin\} and Joel Saltz",
note = "Publisher Copyright: {\textcopyright} 1998, Springer-Verlag. All rights reserved.; 10th Annual International Workshop on Languages and Compilers for Parallel Computing, LCPC 1997 ; Conference date: 07-08-1997 Through 09-08-1997",
year = "1998",
doi = "10.1007/BFb0032688",
language = "English",
isbn = "3540644725",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "131--145",
editor = "Pen-Chung Yew and Chua-Huang Huang and P. Sadayappan and Zhiyuan Li and Siddharta Chatterjee and David Sehr",
booktitle = "Languages and Compilers for Parallel Computing - 10th International Workshop, LCPC 1997, Proceedings",
}