Andělský nedeterminismus - Angelic non-determinism - Wikipedia

v počítačová věda, andělský nedeterminismus je provedení a nedeterministický program kde jsou upřednostňovány všechny volby ukončení programu.

Reference

Wirsing, M .; Broy, M. (5. března 1981). "K algebraické specifikaci nedeterministických programovacích jazyků". Caap '81. Přednášky z informatiky. Springer, Berlín, Heidelberg. 112: 162–179. doi:10.1007/3-540-10828-9_61. ISBN  978-3-540-10828-3.

Bodik, Rastislav; Chandra, satish; Galenson, Joel; Kimelman, Doug; Tung, Nicholas; Barman, Shaon; Rodarmor, Casey (2010). "Programování s andělským nedeterminismem". Oznámení SIGPLAN. 45 (1): 339–352. doi:10.1145/1707801.1706339. ISSN  0362-1340.