967 search results - page 32 / 194 » Probabilistic Predicative Programming |
145
click to vote
CSFW
1998
IEEE
15 years 8 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...
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
134
click to vote
JAL
2008
15 years 4 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...
150
click to vote
ARTS
1999
Springer
15 years 8 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...