Calculational Derivation of Pointer Algorithms from Tree Operations (1998)
by
Michael Butler
| Venue: | Science of Computer Programming |
| Citations: | 8 - 1 self |
BibTeX
@INPROCEEDINGS{Butler98calculationalderivation,
author = {Michael Butler},
title = {Calculational Derivation of Pointer Algorithms from Tree Operations},
booktitle = {Science of Computer Programming},
year = {1998},
pages = {221--260}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We describe an approach to the derivation of correct algorithms on treebased pointer structures. The approach is based on enriching trees in a way that allows us to model commonly-used pointer manipulations on tree structures.
