§ Backward dataflow and continuations

• Forward dataflow deals with facts thus far .
• Backward dataflow deals with facts about the future , or the rest of the program . Thus, in a real sense, backward dataflow concerns itself with continuations !