D.B. Lomet. Data Flow Analysis in the Presence of Procedure Calls. IBM Journal of Research and Development, 21(6), November 1977. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Formal, Language-Independent, and Compositional Approach to.. - Stafford (Correct)
.... for program optimization based on data ow analysis [4] issues related to interprocedural analysis [5, 46] improved eciency [20, 29] the de nition of data ow problems and their related solutions [6] algorithms for use at the source level [45] complications due to variable aliasing [35], more powerful approaches to data ow analysis [28] general improvements to ow analysis algorithms [8] methods to deal with the huge amounts of information that exhaustive data ow analysis generates [9] application to other areas of computer science including secure information ow [16] and ....
D.B. Lomet. Data Flow Analysis in the Presence of Procedure Calls. IBM Journal of Research and Development, 21(6), November 1977.
An Approach to Recovering Data Flow Oriented Design of a.. - Lakhotia (Correct)
....flow analysis has been in progress, probably, ever since the first compiler was written. As a result it is beyond the scope of this document to perform an exhaustive survey of the field. The reader is referred to [2, 18, 28] for a detailed survey. The work in interprocedural data flow analysis [3, 6, 7, 11, 25, 27, 38] is of interest from the point of view of this paper. Interprocedural analyses answer questions such as if the value of a variable is changed at statement in procedure will it affect the computation of statement in procedure . We are only interested in static analysis, i.e. ....
D. B. Lomet. Data flow analysis in the presence of procedure calls. IBM Journal of Research and Development, 21(6):559--571, 1977.
Interprocedural Reaching Definitions in the Presence of.. - Pande, Landi, Ryder (1992) (1 citation) (Correct)
....has been hampered by the lack of precision in the alias analyses. Many spurious side effects are generated because of this imprecision [23] 1. 2 Related Work Recent emphasis in the static analysis community has been on expanding compile time analyses to include interprocedural information [3, 7, 8, 14, 15, 18, 28, 29, 30]. The Fortran model of interprocedural communication has been successfully analyzed [3, 7, 8, 15, 29] although some analyses have yet to demonstrate their practicality. Callahan [3] and Harrold Soffa [15] suggested factoring the aliases into the problem solution after the side effect analysis, as ....
....of this imprecision [23] 1. 2 Related Work Recent emphasis in the static analysis community has been on expanding compile time analyses to include interprocedural information [3, 7, 8, 14, 15, 18, 28, 29, 30] The Fortran model of interprocedural communication has been successfully analyzed [3, 7, 8, 15, 29], although some analyses have yet to demonstrate their practicality. Callahan [3] and Harrold Soffa [15] suggested factoring the aliases into the problem solution after the side effect analysis, as in previous work by Lomet [29] Lomet s approach suggested that an approximation of side effects ....
[Article contains additional citation context not shown here]
D. Lomet. Data flow analysis in the presence of procedure calls. Journal of Research and Development, 21(6):559-- 571, November 1977.
Interprocedural Aliasing In The Presence Of Pointers - Landi (1992) (38 citations) (Correct)
....of alias histories is used by [Coo89, SP81] We have not chosen this approach. Instead, we use the idea of solving a data flow problem for a procedure assuming an alias condition on entry. This is reminiscent of Lomet s approach to solving data flow problems under different aliasing conditions [Lom77] and also to Marlowe s notion of a representative data flow problem [MR90] The key idea in our solution to the unrealizable path problem is to devise a two step algorithm. In the first step, we solve for Conditional May Aliases, that is, we answer the question If there is a path to the entry ....
D. Lomet. Data flow analysis in the presence of procedure calls. Journal of Research and Development, 21(6):559--571, November 1977.
A Formal, Language-Independent, and Compositional Approach to.. - Stafford (Correct)
No context found.
D.B. Lomet. Data Flow Analysis in the Presence of Procedure Calls. IBM Journal of Research and Development, 21(6), November 1977.
A Practical System for Intermodule Code Optimization at.. - Srivastava, Wall (1992) (87 citations) (Correct)
No context found.
D. Lomet. Data flow analysis in presence of procedure calls. IBM Journal of Research and Development 21,6, pp. 559--571, 1977.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC