Abstract dynamic frames

DOI10.1007/978-3-319-06251-8_10MaRDI QIDQ5410483zbMATH OpenOpenAlexFDO

Authors Han-Hing Dang

Publication date 16 April 2014

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06251-8_10

zbMATH Keywords

frame problemlocal actionsrelational semanticsseparation algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Frames, locales (06D22) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• The dynamic frames theory
• Algebraic separation logic
• Towards algebraic separation logic
• The relationship between separation logic and implicit dynamic frames
• Dynamic frames in Java dynamic logic

Cited in

(5)

• The relationship between separation logic and implicit dynamic frames
• Enforcing structural invariants using dynamic frames
• Capturing dynamic conceptual frames
• An Outline of a Dynamic Theory of Frames
• The dynamic frames theory

This page was built for publication: Abstract dynamic frames

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