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

    8 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)233 - 260
    Number of pages28
    JournalLecture Notes in Computer Science
    Volume3049
    Publication statusPublished - 2004

    Cite this

    Puebla, G., Correas, J., Hermenegildo, M. V., Bueno, F., Garcia De La Banda, M. J., Marriott, K. G., & Stuckey, P. J. (2004). A generic framework for context-sensitive analysis of modular programs. Lecture Notes in Computer Science, 3049, 233 - 260.
    Puebla, German ; Correas, Jesus ; Hermenegildo, Manuel V ; Bueno, Francisco ; Garcia De La Banda, Maria Jose ; Marriott, Kimbal George ; Stuckey, Peter J. / A generic framework for context-sensitive analysis of modular programs. In: Lecture Notes in Computer Science. 2004 ; Vol. 3049. pp. 233 - 260.
    @article{33f2710de29f423483e858f61049d75b,
    title = "A generic framework for context-sensitive analysis of modular programs",
    author = "German Puebla and Jesus Correas and Hermenegildo, {Manuel V} and Francisco Bueno and {Garcia De La Banda}, {Maria Jose} and Marriott, {Kimbal George} and Stuckey, {Peter J}",
    year = "2004",
    language = "English",
    volume = "3049",
    pages = "233 -- 260",
    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.",

    }

    Puebla, G, Correas, J, Hermenegildo, MV, Bueno, F, Garcia De La Banda, MJ, Marriott, KG & Stuckey, PJ 2004, 'A generic framework for context-sensitive analysis of modular programs', Lecture Notes in Computer Science, vol. 3049, pp. 233 - 260.

    A generic framework for context-sensitive analysis of modular programs. / Puebla, German; Correas, Jesus; Hermenegildo, Manuel V; Bueno, Francisco; Garcia De La Banda, Maria Jose; Marriott, Kimbal George; Stuckey, Peter J.

    In: Lecture Notes in Computer Science, Vol. 3049, 2004, p. 233 - 260.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - A generic framework for context-sensitive analysis of modular programs

    AU - Puebla, German

    AU - Correas, Jesus

    AU - Hermenegildo, Manuel V

    AU - Bueno, Francisco

    AU - Garcia De La Banda, Maria Jose

    AU - Marriott, Kimbal George

    AU - Stuckey, Peter J

    PY - 2004

    Y1 - 2004

    M3 - Article

    VL - 3049

    SP - 233

    EP - 260

    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 -