A generic framework for context-sensitive analysis of modular programs

German Puebla, Jesus Correas, Manuel V Hermenegildo, Francisco Bueno, Maria Jose Garcia De La Banda, Kimbal George Marriott, Peter J Stuckey

    Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

    2 Citations (Scopus)


    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 argue that a general framework for context-sensitive analysis of modular programs, i.e., 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.
    Original languageEnglish
    Title of host publicationProgram Development in Computational Logic
    Subtitle of host publicationA Decade of Research Advances in Logic-Based Program Development
    EditorsMaurice Bruynooghe, Kung-Kiu Lau
    Place of PublicationBerlin Germany
    Number of pages28
    ISBN (Print)3540221522
    Publication statusPublished - 2004

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743

    Cite this