Strictness analysis and denotational abstract interpretation (1988)

by F Nielson
Venue:Information and Computation