Fixpoint computation for polyvariant static analyses of higher-order applicative programs (1994)

by J Michael Ashley, Charles Consel
Venue:In A CM Transactions on Programming Languages and $lstems