University of Limerick Institutional Repository

Browsing LERO by Subject "unifying themes of programming"

DSpace Repository

Browsing LERO by Subject "unifying themes of programming"

Sort by: Order: Results:

  • 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


Browse

My Account

Statistics