Proving the Correctness of Recursion-Based Automatic Program Transformations (1996)
by
David Sands
| Venue: | Theoretical Computer Science |
| Citations: | 27 - 4 self |
BibTeX
@INPROCEEDINGS{Sands96provingthe,
author = {David Sands},
title = {Proving the Correctness of Recursion-Based Automatic Program Transformations},
booktitle = {Theoretical Computer Science},
year = {1996},
pages = {681--695},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper shows how the Improvement Theorem---a semantic condition
