The following pages link to Quang Loc Le (Q2234105):
Displayed 8 items.
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- Frame inference for inductive entailment proofs in separation logic (Q2324205) (← links)
- Bi-Abduction with Pure Properties for Specification Inference (Q2937788) (← links)
- Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic (Q3179308) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- Satisfiability Modulo Heap-Based Programs (Q4633544) (← links)
- An efficient cyclic entailment procedure in a fragment of separation logic (Q6091213) (← links)
- A decision procedure for string logic with quadratic equations, regular expressions and length constraints (Q6166155) (← links)