Experiments in context-sensitive analysis of modular programs

Correas Fernandez, Jesús; Puebla Sánchez, Alvaro Germán; Hermenegildo, Manuel V. y Bueno Carrillo, Francisco (2006). Experiments in context-sensitive analysis of modular programs. En: "15th International Symposium, LOPSTR 2005", September 7-9, 2005, London, UK. ISBN 978-3-540-32654-0.


Título: Experiments in context-sensitive analysis of modular programs
  • Correas Fernandez, Jesús
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
  • Bueno Carrillo, Francisco
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 15th International Symposium, LOPSTR 2005
Fechas del Evento: September 7-9, 2005
Lugar del Evento: London, UK
Título del Libro: Logic-Based Program Synthesis and Transformation
Fecha: 2006
ISBN: 978-3-540-32654-0
Volumen: 3901
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (971kB) | Vista Previa


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.

Más información

ID de Registro: 14355
Identificador DC: http://oa.upm.es/14355/
Identificador OAI: oai:oa.upm.es:14355
URL Oficial: http://link.springer.com/chapter/10.1007%2F11680093_11
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 25 Ene 2013 09:08
Ultima Modificación: 21 Abr 2016 13:59
  • InvestigaM
  • GEO_UP4
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM