Strictness and Totality Analysis

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

    Original languageEnglish
    Title of host publicationProc. Static Analysis Symposium (SAS'94)
    PublisherSpringer Verlag
    Publication date1994
    Publication statusPublished - 1994
    EventProc. Static Analysis Symposium (SAS'94) -
    Duration: 1 Jan 1994 → …


    ConferenceProc. Static Analysis Symposium (SAS'94)
    Period01/01/1994 → …

    Cite this

    Solberg, K. L., Nielson, H. R., & Nielson, F. (1994). Strictness and Totality Analysis. In Proc. Static Analysis Symposium (SAS'94) (pp. 408-422). Springer Verlag.