Journal article icon

Journal article

FUNCTIONAL PEARL Unfolding pointer algorithms

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 verication of the Schorr{Waite marking algorithm, including Gries (1979, Morris (1982) and Topor (1979). Bornat (2000) writes: \The Schorr{Waite algorithm is the rst mountain that any formalism for pointer aliasing should climb". Then it went more or less quiet for a while, but in the last few years there has been a resurgence of inter...

Expand abstract

Actions


Access Document


Files:
  • (pdf, 149.4KB)

Authors


Contributors

Bird, Richard S
Publisher:
Cambridge University Press
Journal:
Journal of functional Programming More from this journal
Publication date:
2001-01-01
Subjects:
UUID:
uuid:f5754705-10ee-4fe0-b692-c16481d9be2b
Local pid:
ora:781
Source identifiers:
http://sers009b.sers.ox.ac.uk/archive/00000863/
Deposit date:
2012-11-15

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP