University of Limerick Institutional Repository

Browsing LERO by Subject "UTP"

DSpace/Manakin Repository

Browsing LERO 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


Advanced Search

Browse

My Account