Proving the Correctness of Recursion-Based Automatic Program Transformations (1996)
by
David Sands
| Venue: | Theoretical Computer Science |
| Citations: | 27 - 4 self |
Document Versions
| Proving the Correctness of Recursion-Based Automatic Program Transformations –David Sands — 1996 — Theoretical Computer Science |
| Proving the Correctness of Recursion-Based Automatic Program Transformations –David Sands — 1995 — Theoretical Computer Science |
