967 search results - page 32 / 194 » Probabilistic Predicative Programming |
132
Voted
CSFW
1998
IEEE
15 years 6 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...
76
Voted
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
96
Voted
IPCO
2007
15 years 3 months ago
2007
117
click to vote
JAL
2008
15 years 2 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...
129
click to vote
ARTS
1999
Springer
15 years 6 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...