R. C. Sekar Prateek Mishra I. V. Ramakrishnan On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. 37-48 1991 POPL db/conf/popl/popl91.html#SekarMR91