Calculational Derivation of Algorithms on Tree-based Pointer Structures


Butler, M. J., (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures Jifeng, He, Cooke, J. and Wallace, P. (eds.) At BCS-FACS Refinement Workshop.

Download

[img] Postscript dssetr-95-2b.ps - Other
Download (218kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Address: Bath, England
Venue - Dates: BCS-FACS Refinement Workshop, 1996-01-01
Organisations: Electronic & Software Systems
ePrint ID: 250576
Date :
Date Event
1996Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250576

Actions (login required)

View Item View Item