Abstract Interpretation of Denotational Definitions

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

    Original languageEnglish
    Title of host publicationProc. STACS'86
    PublisherSpringer Verlag
    Publication date1986
    Publication statusPublished - 1986
    EventProc. STACS'86 -
    Duration: 1 Jan 1986 → …


    ConferenceProc. STACS'86
    Period01/01/1986 → …

    Cite this

    Nielson, F. (1986). Abstract Interpretation of Denotational Definitions. In Proc. STACS'86 (pp. 1-20). Springer Verlag.