24 citations · 40 across the 18 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Two Results on Separation Logic With Theory Reasoning
Mnacho Echenim, Nicolas Peltier
Two results are presented concerning the entailment problem in Separation Logic with inductively defined predicate symbols and theory reasoning. First, we show that the entailment…
cs.LO2022★ 2 cited
A Proof Procedure For Separation Logic With Inductive Definitions and Theory Reasoning
Mnacho Echenim, Nicolas Peltier
A proof procedure, in the spirit of the sequent calculus, is proposed to check the validity of entailments between Separation Logic formulas combining inductively defined predicate…