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

by F Vdrine
Venue:SAS '95, LNCS 983, 400417