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

Bernhard Scholz, Johann Blieberger (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics