Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Dependency Analysis of Recursive Data Using Automatic Groups

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, 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
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