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: |
Similar Items
-
Unfolding Pointer Algorithms
by: Bird, R
Published: (2001) -
FUNCTIONAL PEARLS
Maximum marking problems
Published: (2001) -
Pointers on C /
by: 389793 Reek, Kenneth A.
Published: (1998) -
Garispanduan penyediaan dan penyelenggaraan makmal mikro
by: 10984 MAMPU
Published: (1988) -
Mastering C pointers : tools for programming power /
by: 399149 Traister, Robert J.
Published: (1990)