Pages that link to "Item:Q5395716"
From MaRDI portal
The following pages link to Local Reasoning for Global Invariants, Part I (Q5395716):
Displaying 7 items.
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Simpler proofs with decentralized invariants (Q2043795) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- Laws of Programming for References (Q2937790) (← links)
- Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (Q3012933) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- (Q5155670) (← links)