Programming using induction

dc.contributor.author	Mueller, C.S.M.
dc.date.accessioned	2018-05-18T00:30:34Z
dc.date.available	2018-05-18T00:30:34Z
dc.date.issued	1990
dc.identifier		en
dc.identifier.citation	Mueller, CSM (1990) Programming using induction. South African Computer Journal Number 1, 1990	en
dc.identifier.issn	2313-7835
dc.identifier.uri	http://hdl.handle.net/10500/23920
dc.description.abstract	Induction has been used as a major tool in mathematics in proving theorems. This paper explores whether it has an equally important role in formulating programs. There are those who advocate that induction should be used in the design of algorithms. An attempt is made here to take the argument further and propose that induction should be the way to express iteration in programs. An alternative way of stating iteration in the form of a generalised expression is suggested in the place of loops or recursive constructs.	en
dc.language.iso	en	en
dc.publisher	South African Institute of Computer Scientists and Information Technologists	en
dc.subject	Induction	en
dc.subject	Programming	en
dc.subject	Programming language constructs	en
dc.subject	Verification	en
dc.title	Programming using induction	en
dc.type	Article	en
dc.description.department	School of Computing	en