作者: Michael G. Burke , Ron K. Cytron
关键词:
摘要: We present a method that combines deep analysis of program dependences with broad the interaction among procedures. The is more efficient than existing methods: we reduce many tests, performed separately by methods, to single test. precise methods respect references multi-dimensional arrays and dependence information hidden procedure calls. general accommodate potentially aliased variables structures differing shapes share storage. accomplish above through unified approach integrates subscript aliasing interprocedural information.