University of Limerick Institutional Repository

Browsing LERO - The Irish Software Research Centre by Subject "unifying theories of programming"

DSpace Repository

Browsing LERO - The Irish Software Research Centre by Subject "unifying theories of programming"

Sort by: Order: Results:

  • 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


Browse

My Account

Statistics