An assertion-guided derivation of a circle drawing algorithm

Watson, Bruce William; Kourie, Derrick G.

UPSpace Home
→
Engineering, Built Environment and Information Technology
→
Computer Science
→
Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie)
→
View Item

Please be advised that the site will be down for maintenance on Sunday, September 1, 2024, from 08:00 to 18:00, and again on Monday, September 2, 2024, from 08:00 to 09:00. We apologize for any inconvenience this may cause.

Show simple item record

dc.contributor.author	Watson, Bruce William
dc.contributor.upauthor	Kourie, Derrick G.
dc.date.accessioned	2009-03-04T10:06:03Z
dc.date.available	2009-03-04T10:06:03Z
dc.date.created	2008-06-28
dc.date.issued	2009-03-04T10:06:03Z
dc.description	The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
dc.identifier.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/]
dc.identifier.uri	http://hdl.handle.net/2263/9122
dc.language.iso	en	en_US
dc.rights	Bruce Watson	en_US
dc.subject	Assertion-guided program development	en_US
dc.subject	Program transformation	en_US
dc.subject.lcsh	Computer science
dc.subject.lcsh	Algorithms
dc.title	An assertion-guided derivation of a circle drawing algorithm	en_US
dc.type	Article	en_US