Update avoidance analysis by abstract interpretation (1993)

by S Marlow
Venue:In Glasgow Workshop on Functional Programming, Ayr, Springer Verlag Workshops in Computing Series