Experiments in context-sensitive analysis of modular programs

Correas Fernandez, Jesús, Puebla Sánchez, Alvaro Germán, Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X and Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537 (2006). Experiments in context-sensitive analysis of modular programs. In: "15th International Symposium, LOPSTR 2005", September 7-9, 2005, London, UK. ISBN 978-3-540-32654-0.


Title: Experiments in context-sensitive analysis of modular programs
Item Type: Presentation at Congress or Conference (Article)
Event Title: 15th International Symposium, LOPSTR 2005
Event Dates: September 7-9, 2005
Event Location: London, UK
Title of Book: Logic-Based Program Synthesis and Transformation
Date: 2006
ISBN: 978-3-540-32654-0
Volume: 3901
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_ARC_2006-9.pdf]
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (971kB) | Preview


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 previous work, as well as experimental data on the different choices left open in those designs. On the other hand we explore the scalability of these models by using larger modular programs as benchmarks. The results have been obtained from a realistic implementation of the models, integrated in a production-quality compiler (CiaoPP/Ciao). Our experimental results shed light on the practical implications of the different design choices and of the models themselves. We also show that contextsensitive analysis of modular programs is indeed feasible in practice, and that in certain critical cases it provides better performance results than those achievable by analyzing the whole program at once, specially in terms of memory consumption and when reanalyzing after making changes to a program, as is often the case during program development.

More information

Item ID: 14355
DC Identifier: https://oa.upm.es/14355/
OAI Identifier: oai:oa.upm.es:14355
Official URL: http://link.springer.com/chapter/10.1007%2F1168009...
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 25 Jan 2013 09:08
Last Modified: 27 Feb 2023 12:35
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM