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

John Banning. An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables. In POPL. pages 29-41, 1979. [doi]

Abstract

Abstract is missing.