A model of inter-module analysis and optimizing compilation

Francisco Bueno, Maria Jose Garcia De La Banda, Manuel Hermenegildo, Kim Marriott, German Puebla, Peter J Stuckey

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    3 Citations (Scopus)


    Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: separate compilation of modules is not supported. We describe and empirically evaluate a simple model for extending global program analysis to support separate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.
    Original languageEnglish
    Title of host publicationLogic Based Program Synthesis and Transformation
    Subtitle of host publication10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
    EditorsKung-Kiu Lau
    Place of PublicationBerlin Germany
    Number of pages17
    ISBN (Print)3540421270
    Publication statusPublished - 2001
    EventInternational Symposium on Logic-based Program Synthesis and Transformation 2000 - London, United Kingdom
    Duration: 24 Jul 200028 Jul 2000
    Conference number: 10th

    Publication series

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


    ConferenceInternational Symposium on Logic-based Program Synthesis and Transformation 2000
    Abbreviated titleLOPSTR 2000
    Country/TerritoryUnited Kingdom

    Cite this