Flow-Sensitive Loop-Variant Variable Classification in Linear Time.

Yixin Shou Robert van Engelen Johnnie Birch Flow-Sensitive Loop-Variant Variable Classification in Linear Time. 323-337 2007 LCPC http://dx.doi.org/10.1007/978-3-540-85261-2_22 conf/lcpc/2007 db/conf/lcpc/lcpc2007.html#ShouEB07