Deriving probabilistic semantics via the 'weakest completion'
He Jifeng, Carroll C. Morgan, Annabelle K. McIver · 2004
A theory of programming is intended to aid the construction of programs that meet their specifications; for such a theory to be useful it should capture (only) the essential aspects of the program’s behaviour, that is only those aspects which one wishes to observe. And it should do so in a mathematically elegant – hence