Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm

Vineeth Kumar Paleri, Y. N. Srikant, Priti Shankar. Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. Science of Computer Programming, 48(1):1-20, 2003. [doi]

@article{PaleriSS03,
  title = {Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm},
  author = {Vineeth Kumar Paleri and Y. N. Srikant and Priti Shankar},
  year = {2003},
  doi = {10.1016/S0167-6423(02)00083-7},
  url = {http://dx.doi.org/10.1016/S0167-6423(02)00083-7},
  tags = {redundancy},
  researchr = {https://researchr.org/publication/PaleriSS03},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {48},
  number = {1},
  pages = {1-20},
}