University of Limerick Institutional Repository

Browsing by Subject "UTP"

DSpace Repository

Browsing by Subject "UTP"

Sort by: Order: Results:

  • Butterfield, Andrew (2012)
    U (TP)2 is a theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design goal was to support the higher-order logic, alphabets, equational reasoning and \programs as ...
  • Bresciani, Riccardo; Butterfield, Andrew (2012)
    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, ...
  • Bresciani, Riccardo; Butterfield, Andrew (Springer, 2012)
    We present an encoding of the semantics of the probabilis- tic guarded command language (pGCL) in the Unifying Theories of Programming (UTP) framework. Our contribution is a UTP encoding that captures pGCL programs as ...

Search DSpace


My Account