967 search results - page 32 / 194 » Probabilistic Predicative Programming |
177
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
144
Voted
IPCO
2007
15 years 7 months ago
2007
168
click to vote
JAL
2008
15 years 6 months ago
2008
This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...
179
click to vote
ARTS
1999
Springer
15 years 10 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...