Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Nondeterministic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
In this paper we explore the combination of novel spatio-temporal model-checking techniques, and of a recently developed model… Expand
Is this relevant?
2012
2012
We present LLBMC, a bounded model checker for C programs. LLBMC uses the LLVM compiler framework in order to translate C programs… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We present a family of dialectic proof procedures for the admissibility semantics of assumption-based argumentation. These proof… Expand
Is this relevant?
1999
1999
Nondeterminism in parallel programs can lead to different results in successive executions even if the same input is supplied. In… Expand
Is this relevant?
1992
1992
We describe a computational procedure designed to automatically analyze the behavior of certain general classes of nonlinear… Expand
Is this relevant?
1991
1991
Nondeterminism can be introduced into a functional language, along with a set of laws for reasoning about the behaviour of… Expand
Is this relevant?
1981
1981
Marvin is a program which is capable of learning concepts from many different environments. It achieves this by using a flexible… Expand
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… Expand
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… Expand
Is this relevant?
1968
1968
A program schema consists of operation symbols, predicate symbols and some constant symbols. In this paper we investigate some… Expand
Is this relevant?