Bird, Richard; de Moor, Oege The algebra of programming. (English) Zbl 0847.68014 Broy, Manfred (ed.), Deductive program design. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, July 26–August 7, 1994. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 152, 167-203 (1996). Summary: In these lecture notes we describe an algebraic approach to programming, suitable both for the derivation of individual programs and for the study of programming techniques in general. The programming techniques we have in mind are those paradigms and strategies of program construction, such as dynamic programming, greedy algorithms, exhaustive search, and divide and conquer, that form the core of most textbooks in Algorithm Design. We illustrate the main ideas in the context of optimization problems, developing one or two of the basic techniques used to solve them.For the entire collection see [Zbl 0842.00044]. Cited in 1 ReviewCited in 15 Documents MSC: 68N01 General topics in the theory of software 18B10 Categories of spans/cospans, relations, or partial maps Keywords:categorical calculus of relations; algorithm design PDFBibTeX XMLCite \textit{R. Bird} and \textit{O. de Moor}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 152, 167--203 (1996; Zbl 0847.68014)