A programming technique in which a program or routine calls itself to perform successive steps in an operation, with each step using the output of the preceding step.