Small Domains Spell Fast Strictness Analysis.

R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan

Browse the full POPL paper archive.