An assertion-guided derivation of a circle drawing algorithm

dc.contributor.authorWatson, Bruce William
dc.contributor.emailbruce@bruce-watson.comen_US
dc.contributor.upauthorKourie, Derrick G.
dc.date.accessioned2009-03-04T10:06:03Z
dc.date.available2009-03-04T10:06:03Z
dc.date.created2008-06-28
dc.date.issued2009-03-04T10:06:03Z
dc.descriptionThe Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
dc.identifier.citationWatson, 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.urihttp://hdl.handle.net/2263/9122
dc.language.isoenen_US
dc.rightsBruce Watsonen_US
dc.subjectAssertion-guided program developmenten_US
dc.subjectProgram transformationen_US
dc.subject.lcshComputer science
dc.subject.lcshAlgorithms
dc.titleAn assertion-guided derivation of a circle drawing algorithmen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Watson_Assertion(2008).pdf
Size:
117.42 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.44 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie)
Simple item page