Ramakrishnan I. Small domains spell fast strictness analysis (1990)

by R Sekar, S Pawagi
Venue:In: Proceedings of the ACM Symposium on Principles of Prog. Lang