An exercise in transformational programming: Backtracking and Branch-and- Bound

DOI10.1016/0167-6423(91)90022-PzbMath0732.68076OpenAlexW2062341684MaRDI QIDQ808723

Maarten M. Fokkinga

Publication date: 1991

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(91)90022-p

zbMATH Keywords

transformational programmingalgebraic manipulations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (3)

Categories, relations and dynamic programming ⋮ Parallelization of divide-and-conquer in the Bird-Meertens formalism ⋮ A problem reduction based approach to discrete optimization algorithm design

This page was built for publication: An exercise in transformational programming: Backtracking and Branch-and- Bound