The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (1994 vol.20)
pp: 105-114
ABSTRACT
<p>Recent advances in languages, software design methodologies, and architecture have prompted the development of improved compile-time methods for analyzing the effects of procedure calls, pointer references, and array accesses. Such sophistication, however, generally implies that compilers and programming environments will experience a corresponding increase in the volume of analysis information, which may be difficult to use efficiently. In this paper, we consider the practical accommodation of such information. Our results show how to engineer a compiler such that its optimization phase takes time proportional to the benefit, rather than the size, of such information.</p>
INDEX TERMS
program diagnostics; program compilers; software engineering; optimisation; efficient engineering; program analysis; compile-time methods; procedure calls; pointer references; array accesses; compilers; programming environments; optimization phase; information benefit; analysis information volume; data-flow analysis; data-flow chains; reaching definitions; static single assignment; compact representation; demand-driven computation
CITATION
Jong-Deok Choi, R. Cytron, J. Ferrante, "On the Efficient Engineering of Ambitious Program Analysis", IEEE Transactions on Software Engineering, vol.20, no. 2, pp. 105-114, February 1994, doi:10.1109/32.265631
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool