R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan
Small Domains Spell Fast Strictness Analysis
POPL, 1990.
@inproceedings{POPL-1990-SekarPR,
author = "R. C. Sekar and Shaunak Pawagi and I. V. Ramakrishnan",
booktitle = "{Conference Record of the 17th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/96709.96727",
editor = "Frances E. Allen",
isbn = "0-89791-343-4",
pages = "169--183",
publisher = "{ACM Press}",
title = "{Small Domains Spell Fast Strictness Analysis}",
year = 1990,
}