An efficient way to find the side effects of procedure calls and the aliases of variables (1979)

by John P Banning
Venue:In POPL