A generic framework for context-sensitive analysis of modular programs

Puebla Sánchez, Alvaro Germán and Correas Fernandez, Jesús and Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and García de la Banda, M. and Marriott, K. and Stuckey, P.J. (2004). A generic framework for context-sensitive analysis of modular programs. In: "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.

Description

Title: A generic framework for context-sensitive analysis of modular programs
Author/s:
  • 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/s:
  • Bruynooghe, Maurice
  • Lau, Kung-Kiu
Item Type: Book Section
Title of Book: Program Development in Computational Logic
Date: August 2004
ISBN: 978-3-540-22152-4
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14560
DC Identifier: http://oa.upm.es/14560/
OAI Identifier: oai:oa.upm.es:14560
DOI: 10.1007/978-3-540-25951-0_8
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-540-25951-0_8
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 27 Feb 2013 07:34
Last Modified: 21 Apr 2016 14:17
  • 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