Answers are grounded in this paper and cite their sources.
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the formal basis of regular expressions; and Floyd relied on it to concisely express backtracking algorithms such as N-queens.
No takes yet. Share an insight, caveat, or question.
Bodík et al. (2010) studied this question.
Synapse has enriched 6 closely related papers on similar clinical questions. Consider them for comparative context: