Concurrent Applicative Implementations of Nondeterministic Algorithms

  title={Concurrent Applicative Implementations of Nondeterministic Algorithms},
  author={Richard M. Salter},
  journal={Comput. Lang.},
In this paper we introduce a methodology for utilizing concurrency in place of backtracking in the implementation of nondeterministic algorithms. This is achieved in an applicative setting through the use of the Friedman-Wise multiprogramming primitive frons, and a paradigm which views the action of nondeterministic algorithms as one of data structure construction. The element by element nondeterminism arising from a linearized search is replaced by a control structure which is oriented towards… CONTINUE READING