...
机译:A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
TU Wien;
Tech Univ Denmark||Swiss Fed Inst Technol;
Decision procedures; entailment; magic wands; inductive predicates;