Proving the Correctness of Recursion-Based Automatic Program Transformations (1996)

Cached

Download Links

by David Sands
Venue:Theoretical Computer Science
Citations:31 - 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