Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis

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

    Original languageEnglish
    Title of host publicationProc. POPL'97
    PublisherACM Press
    Publication date1997
    Pages332-345
    Publication statusPublished - 1997
    EventProc. POPL'97 -
    Duration: 1 Jan 1997 → …

    Conference

    ConferenceProc. POPL'97
    Period01/01/1997 → …

    Cite this