The dynamic frames theory
From MaRDI portal
Publication:539422
DOI10.1007/S00165-010-0152-5zbMATH Open1252.68192OpenAlexW2078020391MaRDI QIDQ539422FDOQ539422
Authors: I. T. Kassios 
Publication date: 30 May 2011
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-010-0152-5
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Separation and information hiding
- Title not available (Why is that?)
- A Basis for Verifying Multi-threaded Programs
- Separation logic and abstraction
- A Theory of Pointers for the UTP
- Programming Languages and Systems
- Unifying theories of locations
- Modular specification of frame properties in JML
- Mathematics of Program Construction
- Automatic verification of Java programs with dynamic frames
Cited In (14)
- Schematic program proofs with abstract execution. Theory and applications
- Verifying Whiley programs with Boogie
- Capturing dynamic conceptual frames
- Laws of programming for references
- Automatic verification of Java programs with dynamic frames
- Dynamic boundaries: information hiding by second order framing with first order assertions
- An Outline of a Dynamic Theory of Frames
- Dynamic frames in Java dynamic logic
- Reasoning about separation using abstraction and reification
- Abstract dynamic frames
- Enforcing structural invariants using dynamic frames
- We-thinking and vacillation between frames: filling a gap in Bacharach's theory
- Unifying separation logic and region logic to allow interoperability
- A first-order logic with frames
Uses Software
This page was built for publication: The dynamic frames theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q539422)
