Precise Interprocedural Dataflow Analysis via Graph Reachability - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Thomas W. Reps, Susan Horwitz, Shmuel Sagiv. Precise Interprocedural Dataflow Analysis via Graph Reachability. In POPL. pages 49-61, 1995.

@inproceedings{RepsHS95,
  title = {Precise Interprocedural Dataflow Analysis via Graph Reachability},
  author = {Thomas W. Reps and Susan Horwitz and Shmuel Sagiv},
  year = {1995},
  tags = {analysis, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/RepsHS95},
  cites = {0},
  citedby = {0},
  pages = {49-61},
  booktitle = {POPL},
}

runs on WebDSL