Eliminating Dead Code on Recursive Data

Yanhong A. Liu, Scott D. Stoller. Eliminating Dead Code on Recursive Data. In Agostino Cortesi, Gilberto Filé, editors, Static Analysis, 6th International Symposium, SAS 99, Venice, Italy, September 22-24, 1999, Proceedings. Volume 1694 of Lecture Notes in Computer Science, pages 211-231, Springer, 1999. [doi]

@inproceedings{LiuS99:3,
  title = {Eliminating Dead Code on Recursive Data},
  author = {Yanhong A. Liu and Scott D. Stoller},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1694/16940211.htm},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/LiuS99%3A3},
  cites = {0},
  citedby = {0},
  pages = {211-231},
  booktitle = {Static Analysis, 6th International Symposium, SAS  99, Venice, Italy, September 22-24, 1999, Proceedings},
  editor = {Agostino Cortesi and Gilberto Filé},
  volume = {1694},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66459-9},
}