Types from Control Flow Analysis

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

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science
    Volume4444
    PublisherSpringer
    Publication date2007
    Pages293-310
    Publication statusPublished - 2007

    Cite this

    Nielson, F., & Nielson, H. R. (2007). Types from Control Flow Analysis. In Lecture Notes in Computer Science (Vol. 4444, pp. 293-310). Springer.
    Nielson, Flemming ; Nielson, Hanne Riis. / Types from Control Flow Analysis. Lecture Notes in Computer Science. Vol. 4444 Springer, 2007. pp. 293-310
    @inbook{8c770ac0b24c422b98511b4efd4e5292,
    title = "Types from Control Flow Analysis",
    author = "Flemming Nielson and Nielson, {Hanne Riis}",
    year = "2007",
    language = "English",
    volume = "4444",
    pages = "293--310",
    booktitle = "Lecture Notes in Computer Science",
    publisher = "Springer",

    }

    Nielson, F & Nielson, HR 2007, Types from Control Flow Analysis. in Lecture Notes in Computer Science. vol. 4444, Springer, pp. 293-310.

    Types from Control Flow Analysis. / Nielson, Flemming; Nielson, Hanne Riis.

    Lecture Notes in Computer Science. Vol. 4444 Springer, 2007. p. 293-310.

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

    TY - CHAP

    T1 - Types from Control Flow Analysis

    AU - Nielson, Flemming

    AU - Nielson, Hanne Riis

    PY - 2007

    Y1 - 2007

    M3 - Book chapter

    VL - 4444

    SP - 293

    EP - 310

    BT - Lecture Notes in Computer Science

    PB - Springer

    ER -

    Nielson F, Nielson HR. Types from Control Flow Analysis. In Lecture Notes in Computer Science. Vol. 4444. Springer. 2007. p. 293-310