An exercise in transformational programming: Backtracking and branch-and-bound

Citations of this article
Mendeley users who have this article in their library.


We present a formal derivation of program schemes that are usually called Backtracking programs and Branch-and-Bound programs. The derivation consists of a series of transformation steps, specifically algebraic manipulations, on the initial specification until the desired programs are obtained. The well-known notions of linear recursion and tail recursion are extended, for structures, to elementwise linear recursion and elementwise tail recursion; and a transformation between them is derived too. © 1991.




Fokkinga, M. M. (1991). An exercise in transformational programming: Backtracking and branch-and-bound. Science of Computer Programming, 16(1), 19–48.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free