References

1

Denis Barthou and Jean-Francois Collard.
Fuzzy array dataflow analysis.
Journal of Parallel and Distributed Computing, 40(2):210-241, February 1997.

2

A. T. Berztiss.
Data Structures - Theory and Practice.
New York : Academic Press, 1971.

3

A. Cohen, J.-F. Collard, and M. Griebl.
Data flow analysis of recursive structures.
Technical Report 96/018, Laboratory PRiSM, University of Versailles, France, September 1996.

4

Albert Cohen and Jean-Francois Collard.
Fuzzy array data-flow analysis - part II: Recursive programs.
Technical Report 96-036, PRiSM, http://www.prism.uvsq.fr, December 1996.

5

Albert Cohen, Jean-Francois Collard, and Martin Griebl.
Array data-flow analysis for imperative recursive programs.
Technical Report 96/035, Laboratory PRiSM, University of Versailles, France, 1996.

6

D. B. A. Epstein.
Word Processing in Groups.
Addison Wesley, 1992.

7

P Feutrier.
Dataflow analysis of scalar and array references.
International Journal of Parallel Programming, 20(1):23-53, February 1991.

8

J Giavitto, O Michel, and J. P Sansonnet.
Group based fields.
In Parallel Symbolic Languages and Systems, International Workshop PSLS, 1995.

9

Rajiv Gupta.
SPMD execution of programs with pointer-based data structures on distributed memory machines.
In Journal of Parallel and Distributed Computing, volume 16, pages 92-107, 1992.

10

Joseph Hummel, Laurie J. Hendren, and Alexandru Nicolau.
A general data dependence test for dynamic pointer-based data structures.
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 100-104, June 1994.

11

Joseph Hummel, Laurie J Hendren, and Alexandru Nicolau.
A language for conveying the aliasing properties of dynamic, pointer-based data structures.
In Proceedings of the 8th International Parallel Processing Symposium, April 1994.

12

Nils Klarlund and Michael I. Schwartzbach.
Graph types.
In Proceedings of the ACM 20th Symposium on Principles of Programming Languages, pages 196-205, January 1993.