|Monotone Data Flow Analysis Framework mah@Colorado.edu (Haibing Ma) (1998-08-13)|
|From:||Haibing Ma <mah@Colorado.edu>|
|Date:||13 Aug 1998 22:10:18 -0400|
|Organization:||University of Colorado, Boulder CS Dept|
I'm planning to develop a tool for "Monotone Data Flow analysis
Framework". It's kind of symbolic execution, and it can be applied to
compiler optimization and program verification, such as constant
propagation, dead code elimination, global value numbering etc. Does
anybody know who has been or is working on such problems? Any
reference and help is appreciated.
Thanks in advance.
Electrical and Computer Engineering Department
Campus Box 425
University of Colorado
Boulder, CO 80309-0425
Return to the
Search the comp.compilers archives again.