The following pages link to Relational separation logic (Q879369):
Displaying 14 items.
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← links)
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- Decomposing data structure commutativity proofs with \(mn\)-differencing (Q2234060) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Is Your Software on Dope? (Q2988635) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Relational Decomposition (Q3087994) (← links)
- A Machine-Checked Framework for Relational Separation Logic (Q3095237) (← links)
- Secure information flow by self-composition (Q3103613) (← links)
- Inter-program Properties (Q3392934) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)
