nondeterministic programming

English

Noun

nondeterministic programming (uncountable)

  1. (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.