Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

19 relations
AdaAutomata-based programmingBacktrackingCall-with-current-continuation

Broader (1)

Computer programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Veriflcation and Simulation of protocols in the declarative paradigm
The Concurrent Constraint Paradigm (ccp, Saraswat 1993) is a powerful model based on the notion of store-as-constraint instead of… 
2006
2006
Testing & Debugging Multi-Agent Systems: A State of the Art Report
Current research and development of agent-based systems has focused primarily on architectures, protocols, frameworks, messaging… 
2002
2002
An optimal data structure to handle dynamic environments in non-deterministic computations
1999
1999
NOPE: A Nondeterministic Program Evaluator
Nondeterminism in parallel programs can lead to different results in successive executions even if the same input is supplied. In… 
1991
1991
Nondeterministic Functional Programming with Sets
Nondeterminism can be introduced into a functional language, along with a set of laws for reasoning about the behaviour of… 
1983
1983
Deterministic and Nondeterministic Flowchart Interpretations
Review
1979
Review
1979
Non-Deterministic Algorithms
Prnmtive commands representing the concepts of choice, failure, and success are used to describe non-deterministic algorithms for… 
1975
1975
LINGOL-A Progress Report
the information in the two components is duplicated In fact, he can omit the generative component entirely and put everything in… 
1973
1973
POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language
POPS is a processor for a simple nondeterministic programming language, PSL. POPS accepts a problem stated in PSL and attempts to… 
1968
1968
Some Formal Properties of a Class of Non-Deterministic Program Schemata
A program schema consists of operation symbols, predicate symbols and some constant symbols. In this paper we investigate some… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)