Symbolic Programming Analysis in Almost Linear Time

John H. Reif. Symbolic Programming Analysis in Almost Linear Time. In POPL. pages 76-83, 1978.

@inproceedings{Reif78,
  title = {Symbolic Programming Analysis in Almost Linear Time},
  author = {John H. Reif},
  year = {1978},
  tags = {program analysis, analysis, programming},
  researchr = {https://researchr.org/publication/Reif78},
  cites = {0},
  citedby = {0},
  pages = {76-83},
  booktitle = {POPL},
}