Sciweavers

1204 search results - page 33 / 241
» Hybrid Probabilistic Programs
Sort
View
93
Voted
SFM
2010
Springer
231views Formal Methods» more  SFM 2010»
15 years 5 months ago
Probabilistic Semantics and Program Analysis
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
72
Voted
B
1998
Springer
15 years 5 months ago
The Generalised Substitution Language Extended to Probabilistic Programs
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...
Carroll Morgan