1991 | ||
---|---|---|
2 | Phil Pfeiffer, Rebecca Parsons Selke: On the Adequacy of Dependence-Based Representations for Programs with Heaps. TACS 1991: 365-386 | |
1989 | ||
1 | Rebecca Parsons Selke: A Rewriting Semantics for Program Dependence Graphs. POPL 1989: 12-24 |
1 | Phil Pfeiffer | [2] |