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 note that UPSpace will be unavailable from Friday, 2 May at 18:00 (South African Time) until Sunday, 4 May at 20:00 due to scheduled system upgrades. We apologise for any inconvenience this may cause and appreciate your understanding.

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