148 search results - page 7 / 30 » Programming with angelic nondeterminism |
DSE
1998
13 years 9 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
ARTS
1999
Springer
14 years 2 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
AFP
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
PSSE
2004
Springer
14 years 3 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
FECS
2006
13 years 11 months ago
2006
The Department of Computer Science at California State University, Los Angeles has established an assessment process to guide the continuous improvement of the undergraduate curri...