On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation.

R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan

Browse the full POPL paper archive.