University of Limerick Institutional Repository

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

DSpace 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


Browse

My Account

Statistics