Unifying theories of locations

DOI10.1007/978-3-642-14521-6_10MaRDI QIDQ3585029zbMATH OpenOpenAlexFDO

Authors Michael Smith, Jeremy Gibbons

Publication date 31 August 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14521-6_10

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A Theory of Pointers for the UTP
• UTP and Sustainability
• Unifying Theories of Objects
• Mechanical reasoning about families of UTP theories
• UTCP: Compositional Semantics for Shared-Variable Concurrency

Cited in

(5)

• Relocalization -- theory and practice
• First Steps in Descriptive Theory of Locales
• The dynamic frames theory
• A Theory of Pointers for the UTP
• Applying formal verification to an open-source real-time operating system

This page was built for publication: Unifying theories of locations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3585029)