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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems
Item ID: 250576
Date Deposited: 14 Jun 1999
Last Modified: 02 Mar 2012 12:57
Contributors: Butler, M. J. (Author)
Jifeng, He (Editor)
Cooke, J. (Editor)
Wallace, P. (Editor)
Date: 1996
Additional Information: Address: Bath, England
Status: Published
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
EPrints Logo
Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2