Concurrent Applicative Implementations of Nondeterministic Algorithms

@article{Salter1983ConcurrentAI,
  title={Concurrent Applicative Implementations of Nondeterministic Algorithms},
  author={Richard M. Salter},
  journal={Comput. Lang.},
  year={1983},
  volume={8},
  pages={61-68}
}
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