Nondeterministic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
- CILC
- 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
Universality and semicomputability for nondeterministic programming languages over abstract algebras
- J. Log. Algebr. Program.
- 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
- Artif. Intell.
- 2006
We present a family of dialectic proof procedures for the admissibility semantics of assumptionbased argumentation. These proof… (More)
Is this relevant?
2003
2003
- Commun. ACM
- 2003
Controlling the nondeterministic features within multithreaded and highly responsive applications enables the continued use of… (More)
Is this relevant?
1997
1997
- VL
- 1997
Both visual data flow and logic based programming languages have their merits as declarative languages for certain application… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
- Acta Informatica
- 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
- Commun. ACM
- 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
- Commun. ACM
- 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
- 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
- IJCAI
- 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?