Strong Abstract Interpretation using Power Domains

A. Mycroft, Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. ICALP'83
    PublisherSpringer Verlag
    Publication date1983
    Pages536-547
    Publication statusPublished - 1983
    EventProc. ICALP'83 -
    Duration: 1 Jan 1983 → …

    Conference

    ConferenceProc. ICALP'83
    Period01/01/1983 → …

    Cite this

    Mycroft, A., & Nielson, F. (1983). Strong Abstract Interpretation using Power Domains. In Proc. ICALP'83 (pp. 536-547). Springer Verlag.