Update Avoidance Analysis by Abstract Interpretation (1993)

by S Marlow
Venue:In Proc. 1993 Glasgow Workshop on Functional Programming, Workshops in Computing