Pages that link to "Item:Q3189828"
From MaRDI portal
The following pages link to Separation logic, abstraction and inheritance (Q3189828):
Displayed 16 items.
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Verified software units (Q2233451) (← links)
- Certificates and Separation Logic (Q2830040) (← links)
- Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq (Q3087993) (← links)
- Specification Patterns and Proofs for Recursion through the Store (Q3088293) (← links)
- WP Semantics and Behavioral Subtyping (Q3105750) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
- Separation Logic for Multiple Inheritance (Q5415606) (← links)
- Higher-Order Separation Logic in Isabelle/HOLCF (Q5415649) (← links)
- Separation Logic Contracts for a Java-Like Language with Fork/Join (Q5505424) (← links)