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...
| Format: | Journal article |
|---|---|
| Published: |
Cambridge University Press
2001
|
| Subjects: |