Dependency Analysis of Recursive Data Structures Using Automatic Groups

D. K. Arvind; T. A. Lewis

doi:10.1007/3-540-48319-5_23

Dependency Analysis of Recursive Data Structures Using Automatic Groups

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	Dependency Analysis of Recursive Data Structures Using Automatic Groups
Editors	Siddhartha Chatterjee, Jan F. Prins, Larry Carter, Jeanne Ferrante, Zhiyuan Li, David Sehr, Pen-Chung Yew
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	353-366
Number of pages	14
ISBN (Print)	978-3-540-48319-9
DOIs	https://doi.org/10.1007/3-540-48319-5_23
Publication status	Published - 1999

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	1656
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-48319-5_23

http://dx.doi.org/10.1007/3-540-48319-5_23

Cite this

Arvind, D. K., & Lewis, T. A. (1999). Dependency Analysis of Recursive Data Structures Using Automatic Groups. In S. Chatterjee, J. F. Prins, L. Carter, J. Ferrante, Z. Li, D. Sehr, & P.-C. Yew (Eds.), Dependency Analysis of Recursive Data Structures Using Automatic Groups (pp. 353-366). (Lecture Notes in Computer Science; Vol. 1656). Springer. https://doi.org/10.1007/3-540-48319-5_23

Arvind, D. K. ; Lewis, T. A. / Dependency Analysis of Recursive Data Structures Using Automatic Groups. Dependency Analysis of Recursive Data Structures Using Automatic Groups. editor / Siddhartha Chatterjee ; Jan F. Prins ; Larry Carter ; Jeanne Ferrante ; Zhiyuan Li ; David Sehr ; Pen-Chung Yew. Berlin, Heidelberg : Springer, 1999. pp. 353-366 (Lecture Notes in Computer Science).

@inproceedings{8ab5a84fb6284ee5ac8f6ffdd5be25b6,

title = "Dependency Analysis of Recursive Data Structures Using Automatic Groups",

abstract = "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.",

author = "Arvind, {D. K.} and Lewis, {T. A.}",

year = "1999",

doi = "10.1007/3-540-48319-5_23",

language = "English",

isbn = "978-3-540-48319-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "353--366",

editor = "Siddhartha Chatterjee and Prins, {Jan F.} and Larry Carter and Jeanne Ferrante and Zhiyuan Li and David Sehr and Pen-Chung Yew",

booktitle = "Dependency Analysis of Recursive Data Structures Using Automatic Groups",

address = "United Kingdom",

}

Arvind, DK & Lewis, TA 1999, Dependency Analysis of Recursive Data Structures Using Automatic Groups. in S Chatterjee, JF Prins, L Carter, J Ferrante, Z Li, D Sehr & P-C Yew (eds), Dependency Analysis of Recursive Data Structures Using Automatic Groups. Lecture Notes in Computer Science, vol. 1656, Springer, Berlin, Heidelberg, pp. 353-366. https://doi.org/10.1007/3-540-48319-5_23

Dependency Analysis of Recursive Data Structures Using Automatic Groups. / Arvind, D. K.; Lewis, T. A.
Dependency Analysis of Recursive Data Structures Using Automatic Groups. ed. / Siddhartha Chatterjee; Jan F. Prins; Larry Carter; Jeanne Ferrante; Zhiyuan Li; David Sehr; Pen-Chung Yew. Berlin, Heidelberg: Springer, 1999. p. 353-366 (Lecture Notes in Computer Science; Vol. 1656).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Dependency Analysis of Recursive Data Structures Using Automatic Groups

AU - Arvind, D. K.

AU - Lewis, T. A.

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-48319-5_23

DO - 10.1007/3-540-48319-5_23

M3 - Conference contribution

SN - 978-3-540-48319-9

T3 - Lecture Notes in Computer Science

SP - 353

EP - 366

BT - Dependency Analysis of Recursive Data Structures Using Automatic Groups

A2 - Chatterjee, Siddhartha

A2 - Prins, Jan F.

A2 - Carter, Larry

A2 - Ferrante, Jeanne

A2 - Li, Zhiyuan

A2 - Sehr, David

A2 - Yew, Pen-Chung

PB - Springer

CY - Berlin, Heidelberg

ER -

Dependency Analysis of Recursive Data Structures Using Automatic Groups

Abstract

Publication series

Access to Document

Fingerprint

Cite this