Programming by Induction
Collections
Author
Gries, David
Abstract
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.
Date Issued
1971-09
Publisher
Cornell University
Keywords
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR71-106
Type
technical report