A Rewriting Semantics for Program Dependence Graphs

Rebecca Parsons Selke. A Rewriting Semantics for Program Dependence Graphs. In POPL. pages 12-24, 1989.

@inproceedings{Selke89,
  title = {A Rewriting Semantics for Program Dependence Graphs},
  author = {Rebecca Parsons Selke},
  year = {1989},
  tags = {semantics, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Selke89},
  cites = {0},
  citedby = {0},
  pages = {12-24},
  booktitle = {POPL},
}