Bidirectional DFA/abstract interpretation

John Fiskio-Lasseter <>
25 Jul 2003 21:18:58 -0400

          From comp.compilers

Related articles
Bidirectional DFA/abstract interpretation (John Fiskio-Lasseter) (2003-07-25)
| List of all articles for this month |

From: John Fiskio-Lasseter <>
Newsgroups: comp.compilers
Date: 25 Jul 2003 21:18:58 -0400
Organization: University of Oregon Computer Science Department
Keywords: analysis, question
Posted-Date: 25 Jul 2003 21:18:58 EDT

Has anyone ever expressed bidirectional datafow analysis as an abstract

I have no doubt it can be done, but it's not clear to me what the
program model would be (a priori construction of the informtion flow
graph?), and I haven't seen anything in the literature yet.

John Fiskio-Lasseter
    * Phd. Student, CIS Dept., University of Oregon
    * Deschutes 234 x6-1385

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.