Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68377MaRDI QIDQ5493372FDOQ5493372

Authors: Ivana Mijajlović, Hongseok Yang 

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Recommendations

• Blaming the client: on data refinement in the presence of pointers
• Safe Modification of Pointer Programs in Refinement Calculus
• scientific article; zbMATH DE number 3943003
• Data Refinement
• Some proofs of data refinement

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (4)

• Blaming the client: on data refinement in the presence of pointers
• Category theoretic models of data refinement
• Safe Modification of Pointer Programs in Refinement Calculus
• On assertion-based encapsulation for object invariants and simulations

This page was built for publication: Programming Languages and Systems

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