A Denotational Framework for Data Flow Analysis
Flemming Nielson · DAIMI Report Series · 1981
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.