Pages that link to "Item:Q2324205"
From MaRDI portal
The following pages link to Frame inference for inductive entailment proofs in separation logic (Q2324205):
Displayed 3 items.
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- An efficient cyclic entailment procedure in a fragment of separation logic (Q6091213) (← links)