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.
Content
Author and article information
Contributors
Michael Spivey
Conference
Publication date:
July
2006
Publication date
(Print):
July
2006
Pages: 1-14
Affiliations
[0001]Oxford University Computing Laboratory
Wolfson Building, Parks Road, Oxford OX1 3QD, UK