Calculational Derivation of Pointer Algorithms from Tree Operations


Butler, M. J. (1999) Calculational Derivation of Pointer Algorithms from Tree Operations Science of Computer Programming, 33, (3), pp. 221-260.

Download

[img] Postscript pointers.ps - Other
Download (326kB)
Item Type: Article
Organisations: Electronic & Software Systems
ePrint ID: 250485
Date :
Date Event
1999Published
Date Deposited: 14 Jun 1999
Last Modified: 23 Feb 2017 16:18
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250485

Actions (login required)

View Item View Item