An assertion-guided derivation of a circle drawing algorithm

Loading...
Thumbnail Image

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/]