Is continuation-passing useful for data flow analysis?

This publication has 10 references indexed in Scilit:

• The essence of compiling with continuations
  Published by Association for Computing Machinery (ACM) ,1993
• Improving binding times without explicit CPS-conversion
  Published by Association for Computing Machinery (ACM) ,1992
• Reasoning about programs in continuation-passing style.
  Published by Association for Computing Machinery (ACM) ,1992
• Collecting interpretations of expressions
  ACM Transactions on Programming Languages and Systems, 1991
• Properties of data flow frameworks
  Acta Informatica, 1990
• Realistic compilation by program transformation (detailed summary)
  Published by Association for Computing Machinery (ACM) ,1989
• ORBIT: an optimizing compiler for scheme
  ACM SIGPLAN Notices, 1986
• A denotational framework for data flow analysis
  Acta Informatica, 1982
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977
• Monotone data flow analysis frameworks
  Acta Informatica, 1977