1,801
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Algebras for Combinatorial Search

      Published
      proceedings-article
      Workshop on Mathematically Structured Functional Programming (MSFP 2006) (MSFP)
      Mathematically Structured Functional Programming
      2 July 2006
      Functional Programming, Combinatorial Search, Algebra, Categories
      Bookmark

            Abstract

            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
            Conference
            July 2006
            July 2006
            : 1-14
            Affiliations
            [0001]Oxford University Computing Laboratory

            Wolfson Building, Parks Road, Oxford OX1 3QD, UK
            Article
            10.14236/ewic/MSFP2006.11
            ecd2bc5e-28e4-4a98-a6fe-ef94ef3f2951
            © Michael Spivey. Published by BCS Learning and Development Ltd. Workshop on Mathematically Structured Functional Programming (MSFP 2006), Kuressaare, Estonia

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Workshop on Mathematically Structured Functional Programming (MSFP 2006)
            MSFP
            Kuressaare, Estonia
            2 July 2006
            Electronic Workshops in Computing (eWiC)
            Mathematically Structured Functional Programming
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/MSFP2006.11
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Functional Programming,Combinatorial Search,Algebra,Categories

            Comments

            Comment on this article