Angelic non-determinism

From Wikipedia, the free encyclopedia
Jump to: navigation, search

A term coined by C.A.R Hoare, which describes the execution of a non-deterministic program where all choices that are made favor termination.