Algebras for Combinatorial Search

@article{Spivey2006AlgebrasFC,
  title={Algebras for Combinatorial Search},
  author={J. Michael Spivey},
  journal={J. Funct. Program.},
  year={2006},
  volume={19},
  pages={469-487}
}
We show how combinatorial search strategies including depth-first, breadth-first and depth-bounded search can be viewed as different implementations of a common algebraic specification that emphasises the compositionality of the strategies. This specification is placed in a categorical setting that combines algebraic specifications and monads. 

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS