David Binkley. Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. In Peter Fritzson, editor, Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings. Volume 786 of Lecture Notes in Computer Science, pages 374-388, Springer, 1994.
@inproceedings{Binkley94, title = {Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model}, author = {David Binkley}, year = {1994}, tags = {data-flow, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Binkley94}, cites = {0}, citedby = {0}, pages = {374-388}, booktitle = {Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings}, editor = {Peter Fritzson}, volume = {786}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57877-3}, }