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 | |
Publication status | Published - 1982 |