A Flow-Sensitive Region Inference for CLI. - Alexandru Stefan; Florin Craciun; Wei-Ngan Chin (APLAS, 2008)