|
|
|
@inproceedings{DBLP:conf/popl/Banning79,
author = {John Banning},
title = {An Efficient Way to Find Side Effects of Procedure Calls and
Aliases of Variables},
booktitle = {POPL},
year = {1979},
pages = {29-41},
ee = {db/conf/popl/Banning79.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Often when we are analyzing a program, for instance to gather information for optimizing transformations, we need to know the effect of executing some element of the program on the program's variables. In the simplest case, we might want to know what variables might be modified or referenced by the execution of a statement. The presence of procedures and procedure calls in a language complicates this analysis in two ways.
The first, and most obvious way is that it is not apparent from looking at a call on a procedure what effect executing that call will have on variables. This is determined by the procedures which might be executed as a result of making the call. Thus the execution of a procedure can have a side effect on variables at the point from which the procedure is called.
Copyright © 1979 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.