Summary: Dependency Analysis of Recursive Data
Structures
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, pointer­based 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
described.
1 Motivation
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

Source: Arvind, D. K. - School of Informatics, University of Edinburgh

Collections: Computer Technologies and Information Sciences