Nondeterministic programming

Known as: Non-deterministic programming, Nondeterministic program, Nondeterministic language 
A nondeterministic programming language is a language which can specify, at certain points in the program (called "choice points"), various… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1973-2018
0519732018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
JSetL is a Java library that endows Java with a number of facilities that are intended to support declarative and constraint… (More)
Is this relevant?
2007
2007
The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who proved the existence of a universal… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We present a family of dialectic proof procedures for the admissibility semantics of assumptionbased argumentation. These proof… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2003
2003
Controlling the nondeterministic features within multithreaded and highly responsive applications enables the continued use of… (More)
Is this relevant?
1997
1997
Both visual data flow and logic based programming languages have their merits as declarative languages for certain application… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1988
Highly Cited
1988
A calculus of program refinements is described, to be used as a tool for the step-by-step derivation of correct programs. A… (More)
Is this relevant?
1977
1977
The basic ideas of nondeterministic programming are critically reconsidered to single out a proper attitude and programming style… (More)
Is this relevant?
Highly Cited
1975
Highly Cited
1975
So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow… (More)
Is this relevant?
Highly Cited
1975
Highly Cited
1975
So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow non… (More)
Is this relevant?
1975
1975
the information in the two components is duplicated In fact, he can omit the generative component entirely and put everything in… (More)
Is this relevant?