FUNCTIONAL PEARL Unfolding pointer algorithms
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 verication of the Schorr{Waite marking algorithm, including Gries (1979, Morris (1982) and Topor (1979). Bornat (2000) writes: \The Schorr{W...
| Formatua: | Journal article |
|---|---|
| Argitaratua: |
Cambridge University Press
2001
|
| Gaiak: |