scientific article; zbMATH DE number 1390329

MaRDI QIDQ4934618zbMATH OpenFDO

Authors Jifeng He, Tony Hoare

Publication date 17 January 2000

zbMATH Keywords

rooted edge-labeled graphs

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data structures (68P05)

Recommendations

• Mathematics of Program Construction
• On the role of memory in object-based and object-oriented languages
• Pointers and Records in the Unifying Theories of Programming
• A Theory of Pointers for the UTP
• Abstraction of object graphs in program verification

Cited in

(7)

• Graph transformations for object-oriented refinement
• Program logic and equivalence in the presence of garbage collection.
• A graph-based generic type system for object-oriented programs
• Graph-based object-oriented Hoare logic
• Reasoning about assignments in recursive data structures
• Automated verification of shape, size and bag properties via user-defined predicates in separation logic
• Pointers and Records in the Unifying Theories of Programming

This page was built for publication:

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