Binding-time analysis and strictness analysis by abstract interpretation (1995)

by F Védrine
Venue:in SAS ’95: Proceedings of the Second International Symposium on Static Analysis