Object-Orientation in the UTP
From MaRDI portal
Publication:5307472
DOI10.1007/11768173_2zbMath1186.68091OpenAlexW1563518944MaRDI QIDQ5307472
Augusto Sampaio, Ana Cavalcanti, Thiago R. Santos
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_2
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) General topics in the theory of software (68N01)
Related Items
Higher-Order UTP for a Theory of Methods ⋮ An algebraic approach to the design of compilers for object-oriented languages ⋮ An Axiomatic Value Model for Isabelle/UTP ⋮ Safety-critical Java programs from \textsf{Circus} models ⋮ Unifying theories of reactive design contracts ⋮ Sound refactorings ⋮ Automated verification of reactive and concurrent programs by calculation ⋮ A Theory of Pointers for the UTP