A Denotational Framework for Data Flow Analysis
DOI:
https://doi.org/10.7146/dpb.v10i135.7410Resumé
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.Downloads
Publiceret
1981-07-01
Citation/Eksport
Nielson, F. (1981). A Denotational Framework for Data Flow Analysis. DAIMI Report Series, 10(135). https://doi.org/10.7146/dpb.v10i135.7410
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
