Conference paper
A tactic driven refinement tool
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992, pp.272-297
Refinement Workshop, organised by BCS-FACS, 5th (London, United Kingdom, 08-Jan-1992–10-Jan-1992)
Workshops in Computing (WORKSHOP COMP.), Springer London, Ltd.
1992
Abstract
This paper describes a refinement tool we are developing, with special emphasis on the use of tactics. The operation of the tool is illustrated by stepping through the derivation of a selection sort algorithm. Several aspects of the tool and its implementation are then discussed in more detail, stressing the way in which the tool assists the user in deriving programs using the refinement calculus.
Details
- Title
- A tactic driven refinement tool
- Authors
- Lindsay Groves (Author) - University of Wellington, New ZealandRaymond Nickson (Author) - University of Wellington, New ZealandMark Utting (Author) - University of New South Wales
- Contributors
- Cliff B Jones (Editor)Roger C Shaw (Editor)Tim Denvir (Editor)
- Publication details
- 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992, pp.272-297
- Conference details
- Refinement Workshop, organised by BCS-FACS, 5th (London, United Kingdom, 08-Jan-1992–10-Jan-1992)
- Series
- Workshops in Computing (WORKSHOP COMP.)
- Publisher
- Springer London, Ltd.
- Date published
- 1992
- DOI
- 10.1007/978-1-4471-3550-0_14
- ISBN
- 9783540197522
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449158802621
- Output Type
- Conference paper
Metrics
939 Record Views