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}, }