A Denotational Framework for Data Flow Analysis

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title A Denotational Framework for Data Flow Analysis
 
Creator Nielson, Flemming
 
Description 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 formulation leads to the MFP (Maximal Fixed Point) solution.
 
Publisher Aarhus University
 
Contributor
 
Date 1981-07-01
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Format application/pdf
 
Identifier http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7410
10.7146/dpb.v10i135.7410
 
Source DAIMI Report Series; No 135 (1981): PB-135 A Denotational Framework for Data Flow Analysis
DAIMI Report Series; No 135 (1981): PB-135 A Denotational Framework for Data Flow Analysis
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7410/6262
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library