Author Retrospective for Array Expansion, Array Shrinking, or There and Back Again
Résumé
This paper has been written as a companion to "Array Dataflow Analysis",
a paper I wrote in 1988, which is to be reprinted in the ACM International
Conference on Supercomputing 25th Anniversary Volume. These reminescences
explain the context which motivated this research, present some related works,
including its opposite, array shrinking, and its application to the
verification of parallel programs.