Experiments in Context-Sensitive Analysis of Modular Programs

Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The advantage of these context-sensitive analyses is that they provide information which is potentially more accurate than that provided by context-free analyses. Such information can then be applied to validating/debugging the program and/or to specializing the program in order to obtain important performance improvements. Some very preliminary experimental results have also been reported for some of these models which provided initial evidence on their potential. However, further experimentation, which is needed in order to understand the many issues left open and to show that the proposed modes scale and are usable in the context of large, real-life modular programs, was left as future work. The aim of this paper is two-fold. On one hand we provide an empirical comparison of the different models proposed in pre...

• Type: Conference
• Year: 2005
• Where: LOPSTR
• Authors: Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
• Keywords: LOPSTR 2005, Modular Programs, Real-life Modular Programs, Several Models