Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,164,824 papers from all fields of science
Search
Sign In
Create Free Account
Nondeterministic programming
Known as:
Non-deterministic programming
, Nondeterministic program
, Nondeterministic language
Expand
A nondeterministic programming language is a language which can specify, at certain points in the program (called "choice points"), various…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
Ada
Automata-based programming
Backtracking
Call-with-current-continuation
Expand
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
Alexei Lescaylle
,
A. Villanueva
2008
Corpus ID: 55347578
The Concurrent Constraint Paradigm (ccp, Saraswat 1993) is a powerful model based on the notion of store-as-constraint instead of…
Expand
2008
2008
Four Non-Deterministic Programming Exercises
G. Woeginger
Bull. EATCS
2008
Corpus ID: 41623263
In this article, we present four simple exercises that use non-determinism in the context of standard PASCAL-type programs. All…
Expand
2008
2008
Closures of May and Must Convergence for Contextual Equivalence
M. Schmidt-Schauss
,
David Sabel
2008
Corpus ID: 17672781
We show on an abstract level that contextual equivalence in non-deterministic program calculi defined by mayand must-convergence…
Expand
2007
2007
The Kiel Esterel processor: a multi-threaded reactive processor
Xin Li
2007
Corpus ID: 35560865
Many embedded systems belong to the class of reactive systems, which continuously react to inputs from the environment by…
Expand
2006
2006
Testing & Debugging Multi-Agent Systems: A State of the Art Report
Athanázio de Cerqueira Gatti
,
A. von Staa
2006
Corpus ID: 100962
Current research and development of agent-based systems has focused primarily on architectures, protocols, frameworks, messaging…
Expand
2003
2003
EÆcient \reversibility" with guards and choice
B. Stoddart
2003
Corpus ID: 16453777
We describe reversibility mechanisms incorporated into a native code Forth used an an intermediate language for a B-GSL compiler…
Expand
1995
1995
Oracles and Connuence | a Fixpoint Semantics for Concurrent Constraint Programming
1995
Corpus ID: 16672656
We consider the problem of giving a xpoint semantics for a parallel and non-deterministic programming language with fairness and…
Expand
1982
1982
Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems
Y. Yushchenko
1982
Corpus ID: 122344881
Ever-increasing attention to the investigation of nondeterministic processes that generalize deterministic processes because of…
Expand
1980
1980
On the Operational Structure of Algebraic Programming Systems
P. R. J. Asveld
,
J. V. Tucker
1980
Corpus ID: 56824262
An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and…
Expand
1967
1967
Non-deterministic programming
P. Johansen
1967
Corpus ID: 62689694
This paper presents some results of R. W. Floyd (1966). He proposes inclusion of additional features in present programming…
Expand