Browsing Computer Science (Scholarly Publications) by Subject "Free variable"
Now showing items 1-1 of 1
-
Saoithín: A Theorem Prover for UTP
(Springer, 2010)Saoithín 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 ...