Towards a Denotational Theory of Abstract Interpretation

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

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

    Cite this