Is continuation-passing useful for data flow analysis?
- 1 June 1994
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- The essence of compiling with continuationsPublished by Association for Computing Machinery (ACM) ,1993
- Improving binding times without explicit CPS-conversionPublished 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 expressionsACM Transactions on Programming Languages and Systems, 1991
- Properties of data flow frameworksActa Informatica, 1990
- Realistic compilation by program transformation (detailed summary)Published by Association for Computing Machinery (ACM) ,1989
- ORBIT: an optimizing compiler for schemeACM SIGPLAN Notices, 1986
- A denotational framework for data flow analysisActa Informatica, 1982
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Monotone data flow analysis frameworksActa Informatica, 1977