nondeterministic programming
English
Noun
nondeterministic programming (uncountable)
- (programming) The construction or specification of programs whose semantics permits more than one execution from the same initial configuration, without specifying a unique choice among the permitted alternatives.