An assertion-guided derivation of a circle drawing algorithm
Loading...
Authors
Watson, Bruce William
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
Keywords
Assertion-guided program development, Program transformation
Sustainable Development Goals
Citation
Watson, B & Kourie, DG 2008, 'An assertion-guided derivation of a circle drawing algorithm', in Colloquium and Festschrift at the occasion of the 60th birthday of Derrick Kourie (Computer Science), Windy Brow, South Afica, 28 June 2008. [http://www.cs.up.ac.za/cs/sgruner/Festschrift/]