University of Limerick Institutional Repository

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

DSpace/Manakin Repository

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

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, ...
  • Butterfield, Andrew (Springer-Verlag, 2010)
    Saoithin 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 ...

Search DSpace


Advanced Search

Browse

My Account