Demonic non-determinism

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

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


  • R.J.R. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer, 1998.
Retrieved from ""
This content was retrieved from Wikipedia :
This page is based on the copyrighted Wikipedia article "Demonic non-determinism"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA