A Denotational Framework for Data Flow Analysis

Flemming Nielson

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    It is shown how to express data flow analysis in a denotational framework by means of abstract interpretation. A continuation style formulation naturally leads to the MOP (Meet Over all Paths) solution, whereas a direct style formulation leads to the MFP (Maximal Fixed Point) solution.
    Original languageEnglish
    JournalActa Informatica
    Volume18
    Issue number3
    Pages (from-to)265-287
    ISSN0001-5903
    DOIs
    Publication statusPublished - 1982

    Fingerprint

    Dive into the research topics of 'A Denotational Framework for Data Flow Analysis'. Together they form a unique fingerprint.

    Cite this