Mark N. Wegman, F. Kenneth Zadeck. Constant Propagation with Conditional Branches. In POPL. pages 291-299, 1985.
@inproceedings{WegmanZ85,
title = {Constant Propagation with Conditional Branches},
author = {Mark N. Wegman and F. Kenneth Zadeck},
year = {1985},
researchr = {https://researchr.org/publication/WegmanZ85},
cites = {0},
citedby = {0},
pages = {291-299},
booktitle = {POPL},
}