• GHC

  • Referenced in 43 articles [sw23765]
  • other is the introduction of choice nondeterminism. The former is essential for a general-purpose...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • each call is computed, using committed choice nondeterminism. A conjunction of all-solutions relation calls...
  • LBS

  • Referenced in 14 articles [sw12372]
  • subtyping for writing reusable modules, and nondeterminism for handling combinatorial explosion. These features are demonstrated...
  • EasyCheck

  • Referenced in 12 articles [sw09735]
  • implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant...
  • NModel

  • Referenced in 11 articles [sw11364]
  • behaviors with data- and history-dependence and nondeterminism, where many different variations (data values, interleavings...
  • zk-SNARK

  • Referenced in 11 articles [sw22495]
  • exploiting the proof systems’ field structure and nondeterminism, we achieve the first zk-SNARK implementation...
  • Truth/SLC

  • Referenced in 8 articles [sw01623]
  • states and to the high degree of nondeterminism arising from the dynamic behavior of such...
  • TeaBag

  • Referenced in 6 articles [sw08980]
  • features, in particular the handling of nondeterminism, the ability to control non-deterministic steps...
  • Refinement Monadic

  • Referenced in 6 articles [sw28551]
  • Isabelle/HOL. The framework is based on a nondeterminism-monad with assertions, i.e., the monad carries...
  • PSMaude

  • Referenced in 3 articles [sw10125]
  • pseudo-random number sampling, all sources of nondeterminism must first be quantified. However, current tools ... user to define how the nondeterminism should be quantified. In this paper, we propose ... define complex strategies for quantifying the nondeterminism in probabilistic rewrite theories. We have implemented PSMaude...
  • JaVis

  • Referenced in 4 articles [sw00469]
  • because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional...
  • CHRAnimation

  • Referenced in 3 articles [sw18637]
  • program instead of the don’t care nondeterminism used in most CHR implementations...
  • LRinv

  • Referenced in 3 articles [sw34346]
  • stack-based language, local inversion, and eliminates nondeterminism by applying methods from parsing theory...
  • Simpl

  • Referenced in 1 article [sw32234]
  • closures, dynamic method invocation and also unbounded nondeterminism...
  • NDSeq

  • Referenced in 0 articles [sw24325]
  • sequential version of the program with controlled nondeterminism. Such a nondeterministic sequential specification allows ... version of the program, one with controlled nondeterminism but no interleaving of parallel threads...
  • PRISM

  • Referenced in 401 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

  • Referenced in 512 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • mCRL2

  • Referenced in 52 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...
  • Ada95

  • Referenced in 185 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...