University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Subject "unifying themes of programming"

DSpace/Manakin Repository

Browsing Faculty of Science and Engineering 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


Advanced Search

Browse

My Account