An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables.

John Banning

Browse the full POPL paper archive.