104 citations · 478 across the 35 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 8 cited
Hyper Normalisation and Conditioning for Discrete Probability Distributions
Bart Jacobs
Normalisation in probability theory turns a subdistribution into a proper distribution. It is a partial operation, since it is undefined for the zero subdistribution. This partiali…
cs.LO2016★ 1 cited
Healthiness from Duality
Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo +1
Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (back…