Sying-Syang Liu and Abu-Bakr Taha. Interprocedural definition-use dependency analysis for recursive procedures. Technical Report SERC-TR-42-F, Software Engineering Research Center, University of Florida, Gainesville, Florida, March 1990.  Home/Search   Document Not in Database   Summary   Related Articles

....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 ....

Sying-Syang Liu and Abu-Bakr Taha. Interprocedural definition-use dependency analysis for recursive procedures. Technical Report SERC-TR-42-F, Software Engineering Research Center, University of Florida, Gainesville, Florida, March 1990.

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