Weak updates and separation logic

DOI10.1007/s00354-010-0097-5zbMath1251.68050OpenAlexW1981234751MaRDI QIDQ1758657

Hongxu Cai, Zhong Shao, Gang Tan, Xinyu Feng

Publication date: 16 November 2012

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00354-010-0097-5

zbMATH Keywords

type systemsseparation logicmutable referencesweak updates

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70)

Related Items (1)

Weak updates and separation logic

Cites Work

• Unnamed Item
• Region-based memory management
• Type inference for polymorphic references
• A syntactic approach to type soundness
• A note on ``A simplified account of polymorphic references
• Weak updates and separation logic
• Operational semantics for multi-language programs
• A very modal model of a modern, major, general type system
• Separation and information hiding
• A Marriage of Rely/Guarantee and Separation Logic
• Separation Logic for Higher-Order Store
• Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
• Permission accounting in separation logic
• An axiomatic basis for computer programming
• Logical Reasoning for Higher-Order Functions with Local State

This page was built for publication: Weak updates and separation logic