A generic framework for context-sensitive analysis of modular programs

Puebla Sánchez, Alvaro Germán; Correas Fernandez, Jesús; Hermenegildo, Manuel V.; Bueno Carrillo, Francisco; García de la Banda, M.; Marriott, K. y Stuckey, P.J. (2004). A generic framework for context-sensitive analysis of modular programs. En: "Program Development in Computational Logic". Lecture Notes in Computer Science (3049). Springer Berlin Heidelberg, pp. 233-260. ISBN 978-3-540-22152-4. https://doi.org/10.1007/978-3-540-25951-0_8.

Descripción

Título: A generic framework for context-sensitive analysis of modular programs
Autor/es:
  • Puebla Sánchez, Alvaro Germán
  • Correas Fernandez, Jesús
  • Hermenegildo, Manuel V.
  • Bueno Carrillo, Francisco
  • García de la Banda, M.
  • Marriott, K.
  • Stuckey, P.J.
Editor/es:
  • Bruynooghe, Maurice
  • Lau, Kung-Kiu
Tipo de Documento: Sección de Libro
Título del Libro: Program Development in Computational Logic
Fecha: Agosto 2004
ISBN: 978-3-540-22152-4
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argüe that a general framework for context-sensitive analysis of modular programs, Le., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed.

Más información

ID de Registro: 14560
Identificador DC: http://oa.upm.es/14560/
Identificador OAI: oai:oa.upm.es:14560
Identificador DOI: 10.1007/978-3-540-25951-0_8
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-540-25951-0_8
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 27 Feb 2013 07:34
Ultima Modificación: 21 Abr 2016 14:17
  • 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
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM