23rd EUROMICRO Conference '97 New Frontiers of Information Technology Efficient Calculation of Data Dependences in Programs with Pointers and Structures Budapest, HUNGARY September 01-September 04 ISBN: 0-8186-8129-2
We describe a method to derive safe approximations for data dependences in programs with pointers and structures. In our approach, alias information and reaching definitions' information at each program point is simultaneously covered by a single representation, called A/D graphs. We perform a single-pass data dependence analysis for a class of restricted imperative languages by solving a monotone data flow system, based on A/D graphs. Advantages of our method are improved accuracy, economical storage use, and reduced analysis time.
Citation:
W. Amme, E. Zehendner, "Efficient Calculation of Data Dependences in Programs with Pointers and Structures," euromicro, pp.55, 23rd EUROMICRO Conference '97 New Frontiers of Information Technology, 1997 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||