Fast strictness analysis based on demand propagation (1995)

by R Sekar, I V Ramakrishnan
Venue:ACM Transactions on Programming Languages and Systems