Strictness and totality analysis (1994)

by H R Nielson, K L Solberg, F Nielson
Venue:In Static Analysis, LNCS 864