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.
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 |