Calculational Derivation of Algorithms on Tree-based Pointer Structures


Butler, M. J. (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures. In, BCS-FACS Refinement Workshop Springer-Verlag Electronic Workshops in Computing.

Download

[img] Postscript
Download (213Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Address: Bath, England
ISBNs: 3540761047
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 250576
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Publisher: Springer-Verlag Electronic Workshops in Computing
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250576

Actions (login required)

View Item View Item