Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs (1994)

by J. Michael Ashley , Charles Consel
Venue:ACM Transactions on Programming Languages and Systems
Citations:11 - 5 self