Summary: Dependency Analysis of Recursive Data
Using Automatic Groups
D. K. Arvind and T. A. Lewis
School of Computer Science, The University of Edinburgh,
Mayfield Road, Edinburgh EH9 3JZ, Scotland.
Abstract. A framework is described for the static analysis of less regu
lar, pointerbased data structures which have been augmented with expli
cit structural information. The framework has three distinct parts to it
the specification of structural information, their translation into an in
ternal representation as automatic groups, and the dependency analysis.
The application of the method to a case study in fluid flow simulation is
This paper deals with the static analysis of dependencies in complex, pointer
based data structures, which are augmented with explicit structural information.
The method of analysis can handle structures which can be represented as an
automatic group [ECH + 92]. The proposed framework, illustrated in Figure 1,
can be divided into three distinct parts the specification of structural informa
tion in the data structure, their translation into an internal representation and