Programming With Recursion

Data structures defined as term algebras and programs built from recursive definitions complement each other. Computing in such surroundings guides us into Nriting simple programs Nith a clear semantics and performing a rigorous cost analysis on appropriate data structures. In this paper, we present a programming language so perceived, investigate some basic principles of cost analysis through it, and reflect on the meaning of programs and computing. -;;------~~ Visiting at. the Computer Science Department of Purdue University with the help of a grant of the Stiftung Volksl....agem.... erk. I am grateful for the support of both, ViV-Stiftung and Purdue.