En informática , el no determinismo angélico es la ejecución de un programa no determinista donde todas las elecciones que se hacen favorecen la terminación del programa.
Wirsing, M.; Broy, M. (5 de marzo de 1981). "Sobre la especificación algebraica de lenguajes de programación no deterministas". Caap'81 . Apuntes de clase en informática. 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, Nicolás; Barman, Shaon; Rodarmor, Casey (2010). "Programación con no determinismo angelical". Avisos SIGPLAN . 45 (1): 339–352. doi : 10.1145/1707801.1706339 . ISSN 0362-1340 .