The following pages link to Separation and information hiding (Q3452266):
Displayed 31 items.
- Completeness for recursive procedures in separation logic (Q278747) (← links)
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- The dynamic frames theory (Q539422) (← links)
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- A shape graph logic and a shape system (Q744329) (← links)
- Juggrnaut: using graph grammars for abstracting unbounded heap structures (Q746781) (← links)
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- Behaviour approximated on subgroups (Q1030197) (← links)
- The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic (Q1712495) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Certificates and Separation Logic (Q2830040) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652) (← links)
- Safe Modification of Pointer Programs in Refinement Calculus (Q3521993) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- Parameterised notions of computation (Q3638920) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- Separation Logic for Multiple Inheritance (Q5415606) (← links)
- Verification of Equivalent-Results Methods (Q5458406) (← links)
- Separation Logic Contracts for a Java-Like Language with Fork/Join (Q5505424) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
- Secure the Clones (Q5892492) (← links)