Improving Program Analyses by Structure Untupling

Michael Codish, Kim Marriott, Cohavit Taboch

    Research output: Contribution to journalArticleResearchpeer-review

    6 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)251 - 263
    Number of pages13
    JournalJournal of Logic Programming
    Publication statusPublished - 2000

    Cite this

    Codish, Michael ; Marriott, Kim ; Taboch, Cohavit. / Improving Program Analyses by Structure Untupling. In: Journal of Logic Programming. 2000 ; pp. 251 - 263.
    @article{014312784b5c433ab192ac92809db111,
    title = "Improving Program Analyses by Structure Untupling",
    author = "Michael Codish and Kim Marriott and Cohavit Taboch",
    year = "2000",
    language = "English",
    pages = "251 -- 263",
    journal = "Journal of Logic Programming",
    issn = "0743-1066",

    }

    Improving Program Analyses by Structure Untupling. / Codish, Michael; Marriott, Kim; Taboch, Cohavit.

    In: Journal of Logic Programming, 2000, p. 251 - 263.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - Improving Program Analyses by Structure Untupling

    AU - Codish, Michael

    AU - Marriott, Kim

    AU - Taboch, Cohavit

    PY - 2000

    Y1 - 2000

    M3 - Article

    SP - 251

    EP - 263

    JO - Journal of Logic Programming

    JF - Journal of Logic Programming

    SN - 0743-1066

    ER -