Incremental Analysis of Constraint Logic Programs

Manuel Hermenegildo, German Puebla, Kim Marriott, Peter J Stuckey

    Research output: Contribution to journalArticleResearchpeer-review

    51 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)187 - 223
    Number of pages37
    JournalACM Transactions on Programming Languages and Systems
    Publication statusPublished - 2000

    Cite this

    Hermenegildo, Manuel ; Puebla, German ; Marriott, Kim ; Stuckey, Peter J. / Incremental Analysis of Constraint Logic Programs. In: ACM Transactions on Programming Languages and Systems. 2000 ; pp. 187 - 223.
    @article{1b4f69a3daa04e448cf4e3265d18e7b8,
    title = "Incremental Analysis of Constraint Logic Programs",
    author = "Manuel Hermenegildo and German Puebla and Kim Marriott and Stuckey, {Peter J}",
    year = "2000",
    language = "English",
    pages = "187 -- 223",
    journal = "ACM Transactions on Programming Languages and Systems",
    issn = "0164-0925",
    publisher = "Association for Computing Machinery (ACM)",

    }

    Incremental Analysis of Constraint Logic Programs. / Hermenegildo, Manuel; Puebla, German; Marriott, Kim; Stuckey, Peter J.

    In: ACM Transactions on Programming Languages and Systems, 2000, p. 187 - 223.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - Incremental Analysis of Constraint Logic Programs

    AU - Hermenegildo, Manuel

    AU - Puebla, German

    AU - Marriott, Kim

    AU - Stuckey, Peter J

    PY - 2000

    Y1 - 2000

    M3 - Article

    SP - 187

    EP - 223

    JO - ACM Transactions on Programming Languages and Systems

    JF - ACM Transactions on Programming Languages and Systems

    SN - 0164-0925

    ER -