Improving abstract interpretations by combining domains

Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria Jose Garcia De La Banda, Manuel Hermenegildo

    Research output: Contribution to journalArticleResearchpeer-review

    43 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)28 - 44
    Number of pages17
    JournalACM Transactions on Programming Languages and Systems
    Volume17
    Issue number1
    Publication statusPublished - 1995

    Cite this