Flow Logics: a multi-paradigmatic approach to static analysis

Hanne Riis Nielson, Flemming Nielson

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

    Original languageEnglish
    Title of host publicationQuantity: Sign in to turn on 1-Click ordering. 7 used & new from $53.99Have one to sell? Don't have one?We'll set one up for you.The Essence of Computation: Complexity, Analysis, Transformation : Essays Dedicated to Neil D. Jones (Lecture Notes in Computer Science)
    PublisherSpringer
    Publication date2002
    Pages223-244
    ISBN (Print)3540003266
    Publication statusPublished - 2002

    Cite this