Functional pearl: Unfolding pointer algorithms (2001)
by
Richard S. Bird
| Venue: | Journal of Functional Programming |
| Citations: | 6 - 0 self |
BibTeX
@ARTICLE{Bird01functionalpearl:,
author = {Richard S. Bird},
title = {Functional pearl: Unfolding pointer algorithms},
journal = {Journal of Functional Programming},
year = {2001},
volume = {11},
pages = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A fair amount has been written on the subject of reasoning about pointer algorithms. There was a peak about 1980 when everyone seemed to be tackling the formal verification of the Schorr–Waite marking algorithm, including Gries (1979, Morris (1982) and Topor (1979). Bornat (2000) writes: “The Schorr–Waite algorithm is the
