Update avoidance analysis using abstract interpretation (1993)

by S Marlow
Venue:in Glasgow Functional Programming Workshop