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

relationssemanticsrefinementobject models

Mathematics Subject Classification ID

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

Recommendations

• A Theory of Pointers for the UTP
• Mathematics of Program Construction
• Object-Orientation in the UTP
• Publication:4934618
• Unifying Theories of Objects

Cited in

(10)

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

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)