Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
SAS04: Abstract for Paper 61
[go: Go Back, main page]


Static Analysis of Gated Data Dependence Graphs

Charles Hymans, Eben Upton

To appear at Static Analysis Symposium (SAS04), Verona, Italy, 26-29 August 2004


Abstract

Several authors have advocated the use of the gated data dependence graph as a compiler intermediate representation. If this representation is to gain acceptance, it is important to show that we may construct static analyses which operate directly on it. In this paper we present the first example of such an analysis, developed using the methodology of abstract interpretation.


Server START Conference Manager
Update Time 8 May 2004 at 19:44:54
Maintainer sas04@sci.univr.it.
Start Conference Manager
Conference Systems