Symbolic Program Analysis in Almost-Linear Time
Publication
, Journal Article
Reif, JH; Tarjan, RE
Published in: SIAM Journal on Computing
February 1982
Duke Scholars
Published In
SIAM Journal on Computing
DOI
EISSN
1095-7111
ISSN
0097-5397
Publication Date
February 1982
Volume
11
Issue
1
Start / End Page
81 / 93
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Related Subject Headings
- Computation Theory & Mathematics
- 4903 Numerical and computational mathematics
- 4901 Applied mathematics
- 4613 Theory of computation
- 0802 Computation Theory and Mathematics
- 0101 Pure Mathematics
Citation
APA
Chicago
ICMJE
MLA
NLM
Reif, J. H., & Tarjan, R. E. (1982). Symbolic Program Analysis in Almost-Linear Time. SIAM Journal on Computing, 11(1), 81–93. https://doi.org/10.1137/0211007
Reif, John H., and Robert E. Tarjan. “Symbolic Program Analysis in Almost-Linear Time.” SIAM Journal on Computing 11, no. 1 (February 1982): 81–93. https://doi.org/10.1137/0211007.
Reif JH, Tarjan RE. Symbolic Program Analysis in Almost-Linear Time. SIAM Journal on Computing. 1982 Feb;11(1):81–93.
Reif, John H., and Robert E. Tarjan. “Symbolic Program Analysis in Almost-Linear Time.” SIAM Journal on Computing, vol. 11, no. 1, Society for Industrial & Applied Mathematics (SIAM), Feb. 1982, pp. 81–93. Crossref, doi:10.1137/0211007.
Reif JH, Tarjan RE. Symbolic Program Analysis in Almost-Linear Time. SIAM Journal on Computing. Society for Industrial & Applied Mathematics (SIAM); 1982 Feb;11(1):81–93.
Published In
SIAM Journal on Computing
DOI
EISSN
1095-7111
ISSN
0097-5397
Publication Date
February 1982
Volume
11
Issue
1
Start / End Page
81 / 93
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Related Subject Headings
- Computation Theory & Mathematics
- 4903 Numerical and computational mathematics
- 4901 Applied mathematics
- 4613 Theory of computation
- 0802 Computation Theory and Mathematics
- 0101 Pure Mathematics