Mechanising a Unifying Theory
From MaRDI portal
Publication:5307484
DOI10.1007/11768173_13zbMATH Open1186.68089OpenAlexW1523293592MaRDI QIDQ5307484FDOQ5307484
Authors: Gift Nuka, Jim Woodcock 
Publication date: 14 September 2007
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11768173_13
Recommendations
Cited In (14)
- Unifying Theories in ProofPower-Z
- Higher-order UTP for a theory of methods
- Mechanical reasoning about families of UTP theories
- Retrospective and Prospective for Unifying Theories of Programming
- A UTP semantics for \textsf{Circus}
- An Axiomatic Value Model for Isabelle/UTP
- A stepwise approach to linking theories
- On the existence of universally convergent mechanisms
- Angelic nondeterminism and unifying theories of programming
- UTPCalc -- a calculator for UTP predicates
- Unifying theories in ProofPower-Z
- On the existence of universally convergent mechanisms
- Unifying heterogeneous state-spaces with lenses
- Mechanical Reasoning about Families of UTP Theories
Uses Software
This page was built for publication: Mechanising a Unifying Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307484)
