Pointers and Records in the Unifying Theories of Programming

DOI10.1007/11768173_12MaRDI QIDQ5307482zbMATH OpenOpenAlexFDO

Authors Ana Cavalcanti, Will Harwood, 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_12

zbMATH Keywords

object modelsrefinementrelationssemantics

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A Theory of Pointers for the UTP
• Mathematics of Program Construction
• Object-Orientation in the UTP
• scientific article; zbMATH DE number 1390329
• Unifying Theories of Objects

Cited in

(10)

• The safety-critical Java memory model formalised
• Sound refactorings
• scientific article; zbMATH DE number 4156407 (Why is no real title available?)
• Pure Pointer Programs and Tree Isomorphism
• scientific article; zbMATH DE number 1390329 (Why is no real title available?)
• Mechanical Reasoning about Families of UTP Theories
• Mathematics of Program Construction
• A Theory of Pointers for the UTP
• Applying formal verification to an open-source real-time operating system
• Test-data generation for control coverage by proof

This page was built for publication: Pointers and Records in the Unifying Theories of Programming

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