التفاصيل البيبلوغرافية
| العنوان: |
High-Level data Flow Analysis. |
| المؤلفون: |
Rosen, Barry K.1, Horning, J. J. |
| المصدر: |
Communications of the ACM. Oct1977, Vol. 20 Issue 10, p712-724. 13p. 5 Diagrams. |
| مصطلحات موضوعية: |
*ELECTRONIC data processing, *INFORMATION retrieval, *INFORMATION science, *INFORMATION resources management, *DATABASE searching, DATA flow computing |
| مستخلص: |
In contrast to the predominant use of low-level intermediate text, high-level data flow analysis deals with programs essentially at source level and exploits the control flow information implicit in the parse tree. The need for high-level flow analysis arises from several aspects of recent work on advanced methods of program certification and optimization. This paper proposes a simple general method of high-level data flow analysis that allows free use of escape and jump statements, avoids large graphs when compiling large programs, facilitates updating of data flow information to reflect program changes, and derives new global information helpful in solving many familiar global flow analysis problems. An illustrative application to live variable analysis is presented. Many of the graphs involved are constructed and analyzed before any programs are compiled, thus avoiding certain costs that low-level methods incur repeatedly at compile time. [ABSTRACT FROM AUTHOR] |
|
Copyright of Communications of the ACM is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| قاعدة البيانات: |
Business Source Index |
