Dependency Analysis of Recursive Data Structures Using Automatic Groups

D. K. Arvind, T. A. Lewis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

A framework is described for the static analysis of less regular, pointer-based data structures which have been augmented with explicit 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.
Original languageEnglish
Title of host publicationDependency Analysis of Recursive Data Structures Using Automatic Groups
EditorsSiddhartha Chatterjee, Jan F. Prins, Larry Carter, Jeanne Ferrante, Zhiyuan Li, David Sehr, Pen-Chung Yew
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Pages353-366
Number of pages14
ISBN (Print)978-3-540-48319-9
DOIs
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume1656
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Dependency Analysis of Recursive Data Structures Using Automatic Groups'. Together they form a unique fingerprint.

Cite this