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]


References

  • R.J.R. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer, 1998.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Demonic_non-determinism&oldid=764734544"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Demonic_non-determinism
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