A Denotational Framework for Data Flow Analysis

Flemming Nielson

doi:10.1007/BF00263194

A Denotational Framework for Data Flow Analysis

Flemming Nielson

Research output: Contribution to journal › Journal article › Research › peer-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 language	English
Journal	Acta Informatica
Volume	18
Issue number	3
Pages (from-to)	265-287
ISSN	0001-5903
DOIs	https://doi.org/10.1007/BF00263194
Publication status	Published - 1982

Access to Document

10.1007/BF00263194

OpenUrl availability

Full text

Cite this

@article{6f9b693da6fb4765b89f8856822322a5,

title = "A Denotational Framework for Data Flow Analysis",

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.",

author = "Flemming Nielson",

year = "1982",

doi = "10.1007/BF00263194",

language = "English",

volume = "18",

pages = "265--287",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Springer New York",

number = "3",

}

TY - JOUR

T1 - A Denotational Framework for Data Flow Analysis

AU - Nielson, Flemming

PY - 1982

Y1 - 1982

N2 - 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.

AB - 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.

U2 - 10.1007/BF00263194

DO - 10.1007/BF00263194

M3 - Journal article

SN - 0001-5903

VL - 18

SP - 265

EP - 287

JO - Acta Informatica

JF - Acta Informatica

IS - 3

ER -

A Denotational Framework for Data Flow Analysis

Abstract

Access to Document

OpenUrl availability

Fingerprint

Cite this