University of Limerick Institutional Repository

A probabilistic theory of designs based on distributions

DSpace Repository

Show simple item record Bresciani, Riccardo Butterfield, Andrew 2012-10-08T13:06:27Z 2012-10-08T13:06:27Z 2012
dc.description peer-reviewed en_US
dc.description.abstract We present a theory of designs based on functions from the state space to real numbers, which we term distributions. This theory uses predicates, in the style of UTP, based on homogeneous relations between distributions, and is richer than the standard UTP theory of designs as it allows us to reason about probabilistic programs; the healthiness conditions H1{H4 of the standard theory are implicitly accounted for in the distributional theory we present. In addition we propose a Galois connection linkage between our distribution-based model of probabilistic designs, and the standard UTP model of (non-probabilistic) designs. en_US
dc.language.iso eng en_US
dc.relation.ispartofseries 4th Unifying Theories of Programming Symposium;
dc.subject unifying theories of programming en_US
dc.subject UTP en_US
dc.subject probalistic programs en_US
dc.title A probabilistic theory of designs based on distributions en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.relation.projectid 08/RFP/CMS1277 en_US
dc.relation.projectid 03/CE2/I303_1 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account