Ангельский недетерминизм - Википедия - Angelic non-determinism

В Информатика, ангельский недетерминизм это выполнение недетерминированная программа где все сделанные выборы в пользу прекращение программы.

Рекомендации

Wirsing, M .; Брой, М. (5 марта 1981 г.). «Об алгебраической спецификации недетерминированных языков программирования». Caap '81. Конспект лекций по информатике. Шпрингер, Берлин, Гейдельберг. 112: 162–179. Дои:10.1007/3-540-10828-9_61. ISBN  978-3-540-10828-3.

Бодик, Растислав; Чандра, Сатиш; Галенсон, Джоэл; Кимелман, Дуг; Тунг, Николай; Бармен, Шаон; Родармор, Кейси (2010). «Программирование с ангельским недетерминизмом». Уведомления SIGPLAN. 45 (1): 339–352. Дои:10.1145/1707801.1706339. ISSN  0362-1340.