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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

The implementation of unit tests with mock objects and stubs often involves substantial manual work. Stubbed methods return…

2008

The Concurrent Constraint Paradigm (ccp, Saraswat 1993) is a powerful model based on the notion of store-as-constraint instead of…

2006

Current research and development of agent-based systems has focused primarily on architectures, protocols, frameworks, messaging…

2002

Data races are errors caused by uncoordinated accessin parallel programs, resulting in non-deterministic program execution…

1991

Nondeterminism can be introduced into a functional language, along with a set of laws for reasoning about the behaviour of…

1986

Existing data-flow languages are incapable of supporting large, manageable and reliable non-deterministic programs. Operating…

1983

1975

the information in the two components is duplicated In fact, he can omit the generative component entirely and put everything in…

1975

This note describes a method of enabling non‐deterministic algorithms to be written in conventional deterministic programming…

1973

POPS is a processor for a simple nondeterministic programming language, PSL. POPS accepts a problem stated in PSL and attempts to…