Loading...
Please wait, while we are loading the content...
Similar Documents
On Edge Addition Rewrite Systems and Their Relevance to Program Analysis on Edge Addition Rewrite Systems and Their Relevance to Program Analysis
| Content Provider | Semantic Scholar |
|---|---|
| Author | Aamann, Uwe |
| Copyright Year | 1994 |
| Abstract | In this article edge addition rewrite systems (EARS) are introduced. EARS are a restricted kind of graph rewrite systems and provide a new framework for the generation of eecient program analyses. For EARS a number of optimization theorems are presented that reduce the complexity of their simple evaluation scheme. EARS relate several problem classes from program analysis that at rst sight do not seem to be correlated. We demonstrate this by specifying uniformly basic block graph construction during control ow analysis, equivalence class construction (e.g. value numbering), and data ow analysis. When we apply the optimization theorems to them it turns out that their eecient hand implementations may be seen as optimized EARS evaluation and therefore can be derived systematically. Thus EARS are suited very well for use in a generator of eecient program analyses. Abstract In this article edge addition rewrite systems (EARS) are introduced. EARS are a restricted kind of graph rewrite systems and provide a new framework for the generation of eecient program analyses. For EARS a number of optimization theorems are presented that reduce the complexity of their simple evaluation scheme. EARS relate several problem classes from program analysis that at rst sight do not seem to be correlated. We demonstrate this by specifying uniformly basic block graph construction during control ow analysis, equivalence class construction (e.g. value numbering), and data ow analysis. When we apply the optimization theorems to them it turns out that their eecient hand implementations may be seen as optimized EARS evaluation and therefore can be derived systematically. Thus EARS are suited very well for use in a generator of eecient program analyses. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://i44www.info.uni-karlsruhe.de/~assmann/reports/ears-gragra94.ps.gz |
| Alternate Webpage(s) | http://www.info.uni-karlsruhe.de/~assmann/reports/ears-report.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
