Monotone Data Flow Analysis Framework

Haibing Ma <>
13 Aug 1998 22:10:18 -0400

          From comp.compilers

Related articles
Monotone Data Flow Analysis Framework (Haibing Ma) (1998-08-13)
| List of all articles for this month |

From: Haibing Ma <>
Newsgroups: comp.compilers
Date: 13 Aug 1998 22:10:18 -0400
Organization: University of Colorado, Boulder CS Dept
Keywords: analysis, question


        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.

        Haibing Ma
Electrical and Computer Engineering Department
Campus Box 425
University of Colorado
Boulder, CO 80309-0425
Lab: (303)492-5043
Home: (303)786-1869

Post a followup to this message

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