Michael Burke, Ron Cytron, et al.
The Journal of Supercomputing
Data-flow analysis is a basis for program optimization and parallelizing transformations. The mechanism of passing reference parameters at call sites generates interprocedural aliases which complicate this analysis. Solutions have been developed for efficiently computing interprocedural aliases. However, factoring the computed aliases into data-flow information has been mostly overlooked, although improper factoring results in imprecise 1992 data-flow information. In this document, we describe a mechanism which, in factoring in interprocedural aliases, computes data-flow information more precisely and with less time and space overhead than previous approaches. © 1992, ACM. All rights reserved.
Michael Burke, Ron Cytron, et al.
The Journal of Supercomputing
Jong-Deok Choi, Ron Cytron, et al.
POPL 1991
Michael Burke, Ron Cytron, et al.
PPEALS 1988
Sang Jeong Lee, Kyung Dong Ryu, et al.
ICWS 2007