Back to University of Twente portal
An exercise in transformational programming: Backtracking and Branch-and-Bound
Fokkinga, M.M. (1991) An exercise in transformational programming: Backtracking and Branch-and-Bound. Science of Computer Programming, 16 (1). pp. 19-48. ISSN 0167-6423
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 200Kb |
| Abstract: | 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. |
| Item Type: | Article |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/66236 |
| Official URL: | http://dx.doi.org/10.1016/0167-6423(91)90022-P |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page