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: Contribution to journalArticleResearchpeer-review

    12 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)86 - 102
    Number of pages17
    JournalLecture Notes in Computer Science
    Volume2042
    DOIs
    Publication statusPublished - 2001

    Cite this

    Bueno, Francisco ; Garcia De La Banda, Maria Jose ; Hermenegildo, Manuel ; Marriott, Kim ; Puebla, German ; Stuckey, Peter J. / A model of inter-module analysis and optimizing compilation. In: Lecture Notes in Computer Science. 2001 ; Vol. 2042. pp. 86 - 102.
    @article{0db2d0a047f848c286222c3e4470c7cf,
    title = "A model of inter-module analysis and optimizing compilation",
    author = "Francisco Bueno and {Garcia De La Banda}, {Maria Jose} and Manuel Hermenegildo and Kim Marriott and German Puebla and Stuckey, {Peter J}",
    year = "2001",
    doi = "10.1007/3-540-45142-0_6",
    language = "English",
    volume = "2042",
    pages = "86 -- 102",
    journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
    issn = "0302-9743",
    publisher = "Springer-Verlag London Ltd.",

    }

    A model of inter-module analysis and optimizing compilation. / Bueno, Francisco; Garcia De La Banda, Maria Jose; Hermenegildo, Manuel; Marriott, Kim; Puebla, German; Stuckey, Peter J.

    In: Lecture Notes in Computer Science, Vol. 2042, 2001, p. 86 - 102.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - A model of inter-module analysis and optimizing compilation

    AU - Bueno, Francisco

    AU - Garcia De La Banda, Maria Jose

    AU - Hermenegildo, Manuel

    AU - Marriott, Kim

    AU - Puebla, German

    AU - Stuckey, Peter J

    PY - 2001

    Y1 - 2001

    U2 - 10.1007/3-540-45142-0_6

    DO - 10.1007/3-540-45142-0_6

    M3 - Article

    VL - 2042

    SP - 86

    EP - 102

    JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    SN - 0302-9743

    ER -