Program flow analysis and Invariants.

neal.wang@gmail.com (Neal Wang)
23 Aug 2004 12:11:54 -0400

          From comp.compilers

Related articles
Program flow analysis and Invariants. neal.wang@gmail.com (2004-08-23)
Re: Program flow analysis and Invariants. nick.roberts@acm.org (Nick Roberts) (2004-09-03)
Re: Program flow analysis and Invariants. skaller@nospam.com.au (John Max Skaller) (2004-09-07)
Re: Program flow analysis and Invariants. neal.wang@gmail.com (2004-09-13)
Re: Program flow analysis and Invariants. neal.wang@gmail.com (2004-09-13)
| List of all articles for this month |

From: neal.wang@gmail.com (Neal Wang)
Newsgroups: comp.compilers
Date: 23 Aug 2004 12:11:54 -0400
Organization: http://groups.google.com
Keywords: analysis, question
Posted-Date: 23 Aug 2004 12:11:53 EDT

Hi


    I'm studying the program flow analysis and compiler optimization.
What's the purpose of program flow analysis? The answer I can come is
"to synthesize invariants". Is this claim true? Can we say the more
invariants we can find, the more optimization opportunities we can
explore?


      Thanks


Neal


Post a followup to this message

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