A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees.

Bernhard Scholz Johann Blieberger A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. 202-217 2007 conf/cc/2007 CC http://dx.doi.org/10.1007/978-3-540-71229-9_14 db/conf/cc/cc2007.html#ScholzB07