Towards a Denotational Theory of Abstract Interpretation

Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    Original languageEnglish
    Title of host publicationAbstract Interpretation of Declarative Languages
    Publication date1987
    Pages219-245
    Publication statusPublished - 1987

    Access to Document

    OpenUrl availability

    Full text

    Cite this