A framework is described for the static analysis of less regular, pointer-based data structures which have been augmented with ex- plicit structural information. The framework has three distinct parts to it - the specification of structural information, their translation into an internal representation as automatic groups, and the dependency analysis. The application of the method to a case study in fluid flow simulation is described.
CITATION STYLE
Arvind, D. K., & Lewis, T. A. (1999). Dependency analysis of recursive data structures using automatic groups. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1656, pp. 353–366). Springer Verlag. https://doi.org/10.1007/3-540-48319-5_23
Mendeley helps you to discover research relevant for your work.