Pages that link to "Item:Q3189828"

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)