Finiteness Conditions for Strictness Analysis

Flemming Nielson, Hanne Riis Nielson

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

    Original languageEnglish
    Title of host publicationProc. Workshop on Static Program Analysis
    PublisherSpringer Verlag
    Publication date1993
    Pages194-205
    Publication statusPublished - 1993
    Event3rd International Workshop on Static Analysis - Padova, Italy
    Duration: 22 Sep 199324 Sep 1993
    Conference number: 3

    Workshop

    Workshop3rd International Workshop on Static Analysis
    Number3
    CountryItaly
    CityPadova
    Period22/09/199324/09/1993

    Cite this