Programming by Induction
A technique for creating programs, called programming by induction, is described. The term is used because of the similarity between programming by induction and proving a theorem by induction.
computer science; technical report
Previously Published As