Bidirectional DFA/abstract interpretation

John Fiskio-Lasseter <johnfl@cs.uoregon.edu>
25 Jul 2003 21:18:58 -0400

          From comp.compilers
Related articles
Bidirectional DFA/abstract interpretation johnfl@cs.uoregon.edu (John Fiskio-Lasseter) (2003-07-25)
| List of all articles for this month |
From: John Fiskio-Lasseter <johnfl@cs.uoregon.edu>
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
interpretation?


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.


Thanks,
John
----------------------------------------------------------------------
John Fiskio-Lasseter
    * Phd. Student, CIS Dept., University of Oregon
    * Deschutes 234 x6-1385 johnfl@cs.uoregon.edu
    * http://www.cs.uoregon.edu/~johnfl

Post a followup to this message

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