R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation
POPL, 1991.
@inproceedings{POPL-1991-SekarMR, author = "R. C. Sekar and Prateek Mishra and I. V. Ramakrishnan", booktitle = "{Conference Record of the 18th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/99583.99591", editor = "David S. Wise", isbn = "0-89791-419-8", pages = "37--48", publisher = "{ACM Press}", title = "{On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation}", year = 1991, }