Pointers and Records in the Unifying Theories of Programming

DOI10.1007/11768173_12zbMATH Open1186.68107OpenAlexW1763481740MaRDI QIDQ5307482FDOQ5307482

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

Recommendations

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

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)

Cited In (10)

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

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)