Local reasoning about tree update

MaRDI QIDQ2851335zbMATH OpenFDO

Authors Uri Zarfaty, Philippa Gardner

Publication date 10 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106001745

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05)

Recommendations

• Local reasoning about data update
• Context logic and tree update
• An Introduction to Context Logic
• Weak updates and separation logic
• scientific article; zbMATH DE number 1841809

Cited in

(2)

• Local reasoning about data update
• Context logic and tree update

This page was built for publication: Local reasoning about tree update

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