TY - GEN
T1 - Revival transformation
AU - Feigen, Lawrence
AU - Klappholz, David
AU - Casazza, Robert
AU - Xue, Xing
PY - 1994
Y1 - 1994
N2 - The motion that a definition of a variable is dead is used by optimizing compilers to delete code whose execution is useless. We extend the notion of deadness to that of partial deadness, and define a transformation, the revival transformation, which eliminates useless executions of a (partially dead) definition by tightening its execution conditions without changing the set of uses which it reaches or the conditions under which it reaches each of them.
AB - The motion that a definition of a variable is dead is used by optimizing compilers to delete code whose execution is useless. We extend the notion of deadness to that of partial deadness, and define a transformation, the revival transformation, which eliminates useless executions of a (partially dead) definition by tightening its execution conditions without changing the set of uses which it reaches or the conditions under which it reaches each of them.
UR - http://www.scopus.com/inward/record.url?scp=0028015019&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0028015019&partnerID=8YFLogxK
U2 - 10.1145/174675.178043
DO - 10.1145/174675.178043
M3 - Conference contribution
AN - SCOPUS:0028015019
SN - 0897916360
SN - 9780897916363
T3 - Conference Record of the Annual ACM Symposium on Principles of Programming Languages
SP - 421
EP - 434
BT - Conference Record of the Annual ACM Symposium on Principles of Programming Languages
T2 - Proceedings of the 21st Annual ACM Symposium on Principles of Programming Languages
Y2 - 17 January 1994 through 21 January 1994
ER -